Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 13 May 2023 08:33:46 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: 35df570816a6 - main - lang/ghc810: Fix GMP option after changes to the master port.
Message-ID:  <202305130833.34D8Xk3N026163@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=35df570816a68c7ce9700063fd408350fc5b82d0

commit 35df570816a68c7ce9700063fd408350fc5b82d0
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2023-05-13 08:31:03 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2023-05-13 08:33:41 +0000

    lang/ghc810: Fix GMP option after changes to the master port.
    
    Fixes: 018274cbc53802b98950eb504337f1987fba5905
---
 lang/ghc810/Makefile | 4 ++--
 1 file 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
 



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202305130833.34D8Xk3N026163>