git: 3b657608e219 - main - math/libsemigroups: chase HPCombi

From: Thierry Thomas <thierry_at_FreeBSD.org>
Date: Mon, 23 Oct 2023 19:45:34 UTC 
The branch main has been updated by thierry:

URL: https://cgit.FreeBSD.org/ports/commit/?id=3b657608e2196ebbd8c8427997f710f00bc480d3

commit 3b657608e2196ebbd8c8427997f710f00bc480d3
Author:     Thierry Thomas <thierry@FreeBSD.org>
AuthorDate: 2023-10-23 18:18:40 +0000
Commit:     Thierry Thomas <thierry@FreeBSD.org>
CommitDate: 2023-10-23 19:44:32 +0000

    math/libsemigroups: chase HPCombi
    
    - HPCombi does not support -march=default;
    
    - also strip the library.
---
 math/libsemigroups/Makefile | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/math/libsemigroups/Makefile b/math/libsemigroups/Makefile
index b657d6e2512e..ffc71b485047 100644
--- a/math/libsemigroups/Makefile
+++ b/math/libsemigroups/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	libsemigroups
 PORTVERSION=	1.3.7
 DISTVERSIONPREFIX=	v
-PORTREVISION=	5
+PORTREVISION=	6
 CATEGORIES=	math
 
 MAINTAINER=	thierry@FreeBSD.org
@@ -22,19 +22,15 @@ GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--enable-fmt --with-external-fmt=yes	\
 		--with-external-eigen
 USE_LDCONFIG=	yes
+INSTALL_TARGET=	install-strip
 TEST_TARGET=	check
 
-OPTIONS_DEFINE=	NATIVE
-
 .include <bsd.port.pre.mk>
 
 .if ${ARCH} != amd64
 CONFIGURE_ARGS+=	--disable-hpcombi
 .endif
 
-post-patch-NATIVE-off:
-	@${REINPLACE_CMD} -e 's/-march=native/-march=default/' ${WRKSRC}/m4/ax_check_hpcombi.m4
-
 pre-configure:
 .if ${ARCH} == amd64
 	${REINPLACE_CMD} -e 's|$$srcdir/extern/HPCombi|${LOCALBASE}/share/HPCombi|'	\