Date: Fri, 7 Apr 2023 06:52:58 GMT From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 018274cbc538 - main - lang/ghc: Replace GMP_CONFIGURE_WITH with GMP_CONFIGURE_ON. Message-ID: <202304070652.3376qw6V073656@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=018274cbc53802b98950eb504337f1987fba5905 commit 018274cbc53802b98950eb504337f1987fba5905 Author: Gleb Popov <arrowd@FreeBSD.org> AuthorDate: 2023-04-05 18:52:32 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2023-04-07 06:52:53 +0000 lang/ghc: Replace GMP_CONFIGURE_WITH with GMP_CONFIGURE_ON. --- lang/ghc/Makefile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/lang/ghc/Makefile b/lang/ghc/Makefile index 69e1852f5a53..d7db35d0ebe2 100644 --- a/lang/ghc/Makefile +++ b/lang/ghc/Makefile @@ -54,8 +54,11 @@ DYNAMIC_LIB_DEPENDS= libffi.so:devel/libffi DYNAMIC_VARS= enable_dynamic=YES DYNAMIC_VARS_OFF= enable_dynamic=NO -GMP_CONFIGURE_WITH= gmp-includes=${LOCALBASE}/include \ - gmp-libraries=${LOCALBASE}/lib +# do not replace this with GMP_CONFIGURE_WITH +# it adds "--without-gmp-*" when the option is OFF, which results in "no" value +# to be used as directory name +GMP_CONFIGURE_ON= --with-gmp-includes=${LOCALBASE}/include \ + --with-gmp-libraries=${LOCALBASE}/lib GMP_LIB_DEPENDS= libgmp.so:math/gmp PROFILE_VARS= enable_profile=YES
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202304070652.3376qw6V073656>