diff options
author | Gleb Popov <arrowd@FreeBSD.org> | 2023-05-13 08:31:03 +0000 |
---|---|---|
committer | Gleb Popov <arrowd@FreeBSD.org> | 2023-05-13 08:33:41 +0000 |
commit | 35df570816a68c7ce9700063fd408350fc5b82d0 (patch) | |
tree | 5265b7b4a27cf934ab0767da20f71754655455c6 /lang | |
parent | 37cb10a5c9d0e45f074b84d699bbe98abb53cbbb (diff) | |
download | ports-35df570816a68c7ce9700063fd408350fc5b82d0.tar.gz ports-35df570816a68c7ce9700063fd408350fc5b82d0.zip |
lang/ghc810: Fix GMP option after changes to the master port.
Fixes: 018274cbc53802b98950eb504337f1987fba5905
Diffstat (limited to 'lang')
-rw-r--r-- | lang/ghc810/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/ghc810/Makefile b/lang/ghc810/Makefile index b911feed8cae..38e2ae6f3a68 100644 --- a/lang/ghc810/Makefile +++ b/lang/ghc810/Makefile @@ -1,9 +1,9 @@ -PORTREVISION= 2 +PORTREVISION= 3 PKGNAMESUFFIX= 810 LIB_DEPENDS= ${GMP_LIB_DEPENDS} -CONFIGURE_ARGS= ${GMP_CONFIGURE_WITH:C/^/--with-/} +CONFIGURE_ARGS= ${GMP_CONFIGURE_ON} OPTIONS_DEFINE= DYNAMIC PROFILE |