diff --git a/math/apron/Makefile b/math/apron/Makefile index 4c15b8421421..72e9d801f7dc 100644 --- a/math/apron/Makefile +++ b/math/apron/Makefile @@ -1,30 +1,31 @@ PORTNAME= apron DISTVERSIONPREFIX= v -DISTVERSION= 0.9.14 +DISTVERSION= 0.9.15 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org COMMENT= APRON numerical abstract domain library WWW= http://apron.cri.ensmp.fr/library/ LICENSE= LGPL21 LICENSE_FILE= ${WRKSRC}/COPYING LIB_DEPENDS= libglpk.so:math/glpk \ libgmp.so:math/gmp \ libmpfr.so:math/mpfr \ libppl.so:devel/ppl USES= gmake localbase:ldflags USE_CXXSTD= c++14 +USE_LDCONFIG= yes + USE_GITHUB= yes GH_ACCOUNT= antoinemine -USE_LDCONFIG= yes HAS_CONFIGURE= yes CONFIGURE_ARGS= -prefix ${STAGEDIR}${PREFIX} -no-ocaml -no-java post-stage: @${STRIP_CMD} ${STAGEDIR}${LOCALBASE}/lib/lib*.so .include diff --git a/math/apron/distinfo b/math/apron/distinfo index 9238550cf77c..9971450c884a 100644 --- a/math/apron/distinfo +++ b/math/apron/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1713577837 -SHA256 (antoinemine-apron-v0.9.14_GH0.tar.gz) = ce6d6bfbe120ac87ceab6d5e470097aedefe7000a72d31959556fae1c6bc25d9 -SIZE (antoinemine-apron-v0.9.14_GH0.tar.gz) = 1196056 +TIMESTAMP = 1718391254 +SHA256 (antoinemine-apron-v0.9.15_GH0.tar.gz) = 5778fa1afaf0b36fe6a79989fc4374b0b3ece8a5e46a7ab195440209ccd67b1b +SIZE (antoinemine-apron-v0.9.15_GH0.tar.gz) = 1197853 diff --git a/math/apron/files/patch-Makefile.config.model b/math/apron/files/patch-Makefile.config.model new file mode 100644 index 000000000000..bad1d9604bf6 --- /dev/null +++ b/math/apron/files/patch-Makefile.config.model @@ -0,0 +1,11 @@ +--- Makefile.config.model.orig 2024-06-14 19:14:25 UTC ++++ Makefile.config.model +@@ -182,7 +182,7 @@ INSTALL = install + SED = sed + PERL = perl + INSTALL = install +-INSTALLSTRIP = install --strip ++INSTALLSTRIP = install -s + INSTALLd = install -d + + OCAMLC = ocamlc.opt diff --git a/math/apron/files/patch-configure b/math/apron/files/patch-configure deleted file mode 100644 index 5e2c70e89021..000000000000 --- a/math/apron/files/patch-configure +++ /dev/null @@ -1,14 +0,0 @@ -According to the POSIX conventions each option name -should be a single alphanumeric character. - ---- configure.orig 2024-04-20 02:07:27 UTC -+++ configure -@@ -71,7 +71,7 @@ has_debug=0 - force_absolute_dylib_install_names=0; - ext_dll=so - has_debug=0 --do_strip=--strip -+do_strip=-s - while : ; do - case "$1" in - "")