git: 35df570816a6 - main - lang/ghc810: Fix GMP option after changes to the master port.

From: Gleb Popov <arrowd_at_FreeBSD.org>
Date: Sat, 13 May 2023 08:33:46 UTC 
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