math/apron: update 0.9.13 → 0.9.14

PR:	278472

5 files changed, 51 insertions, 60 deletions

diff --git a/math/apron/Makefile b/math/apron/Makefile
index 0968829a6648..4c15b8421421 100644
--- a/math/apron/Makefile
+++ b/math/apron/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	apron
 DISTVERSIONPREFIX=	v
-DISTVERSION=	0.9.13
+DISTVERSION=	0.9.14
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -10,12 +10,8 @@ WWW=		http://apron.cri.ensmp.fr/library/
 LICENSE=	LGPL21
 LICENSE_FILE=	${WRKSRC}/COPYING
 
-BROKEN_aarch64=	uses deprecated fpsetround(3) that isn't even defined on arm64, see https://github.com/antoinemine/apron/issues/47
-BROKEN_armv6=	uses deprecated fpsetround(3) that isn't even defined on armv6, see https://github.com/antoinemine/apron/issues/47
-BROKEN_armv7=	uses deprecated fpsetround(3) that isn't even defined on armv7, see https://github.com/antoinemine/apron/issues/47
-BROKEN_riscv64=	uses deprecated fpsetround(3) that isn't even defined on riscv64, see https://github.com/antoinemine/apron/issues/47
-
-LIB_DEPENDS=	libgmp.so:math/gmp \
+LIB_DEPENDS=	libglpk.so:math/glpk \
+		libgmp.so:math/gmp \
 		libmpfr.so:math/mpfr \
 		libppl.so:devel/ppl
 
@@ -29,8 +25,6 @@ HAS_CONFIGURE=	yes
 CONFIGURE_ARGS=	-prefix ${STAGEDIR}${PREFIX} -no-ocaml -no-java
 
 post-stage:
-	  @${STRIP_CMD} \
-	  	${STAGEDIR}${LOCALBASE}/bin/* \
-	  	${STAGEDIR}${LOCALBASE}/lib/lib*.so
+	  @${STRIP_CMD} ${STAGEDIR}${LOCALBASE}/lib/lib*.so
 
 .include <bsd.port.mk>
diff --git a/math/apron/distinfo b/math/apron/distinfo
index 739c198a9793..9238550cf77c 100644
--- a/math/apron/distinfo
+++ b/math/apron/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1658283944
-SHA256 (antoinemine-apron-v0.9.13_GH0.tar.gz) = 4af627e24623ab26948ea980077d015bfb9543374d857fbb42a8b6571e2fb36e
-SIZE (antoinemine-apron-v0.9.13_GH0.tar.gz) = 988019
+TIMESTAMP = 1713577837
+SHA256 (antoinemine-apron-v0.9.14_GH0.tar.gz) = ce6d6bfbe120ac87ceab6d5e470097aedefe7000a72d31959556fae1c6bc25d9
+SIZE (antoinemine-apron-v0.9.14_GH0.tar.gz) = 1196056
diff --git a/math/apron/files/patch-configure b/math/apron/files/patch-configure
new file mode 100644
index 000000000000..5e2c70e89021
--- /dev/null
+++ b/math/apron/files/patch-configure
@@ -0,0 +1,14 @@
+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
+         "")
diff --git a/math/apron/pkg-descr b/math/apron/pkg-descr
index 05342782958c..bcc8aaf42e05 100644
--- a/math/apron/pkg-descr
+++ b/math/apron/pkg-descr
@@ -1,8 +1,8 @@
-The APRON library is dedicated to the static analysis of the numerical variables
-of a program by Abstract Interpretation. The aim of such an analysis is to infer
-invariants about these variables. like 1<=x+y<=z, which holds during any
-execution of the program. You may look at to the Interproc analyzer for an
-online demonstration of static analysis.
+The APRON library is dedicated to the static analysis of the numerical
+variables of a program by Abstract Interpretation. The aim of such an
+analysis is to infer invariants about these variables. like 1<=x+y<=z, which
+holds during any execution of the program. You may look at to the Interproc
+analyzer for an online demonstration of static analysis.
 
 The APRON library is intended to be a common interface to various underlying
 libraries/abstract domains and to provide additional services that can be
diff --git a/math/apron/pkg-plist b/math/apron/pkg-plist
index d158a8fc0111..85420db0d796 100644
--- a/math/apron/pkg-plist
+++ b/math/apron/pkg-plist
@@ -1,6 +1,3 @@
-bin/ap_ppl_test
-bin/octtestD
-bin/octtestMPQ
 include/ap_abstract0.h
 include/ap_abstract1.h
 include/ap_coeff.h
@@ -87,9 +84,23 @@ include/apronxx/apxx_texpr1.hh
 include/apronxx/apxx_texpr1_inline.hh
 include/apronxx/apxx_var.hh
 include/apronxx/apxx_var_inline.hh
+include/avo.h
+include/avo/avo_fun.h
+include/avo/avo_internal.h
 include/bound.h
 include/bound_def.h
 include/box.h
+include/fpp.h
+include/fpp/bt.h
+include/fpp/bv.h
+include/fpp/fm.h
+include/fpp/fpp_fun.h
+include/fpp/fpp_internal.h
+include/fpp/fpp_weakjoin.h
+include/fpp/fppol_domain.h
+include/fpp/numitv.h
+include/fpp/quasi_linear.h
+include/fpp/rlp.h
 include/itv.h
 include/itv_config.h
 include/itv_fun.h
@@ -116,82 +127,54 @@ include/oct/oct_internal.h
 include/pk.h
 include/pkeq.h
 include/t1p.h
+lib/avo.idl
+lib/box.idl
+lib/fpp.idl
 lib/libap_pkgrid.a
 lib/libap_pkgrid.so
-lib/libap_pkgrid_debug.a
-lib/libap_pkgrid_debug.so
 lib/libap_ppl.a
 lib/libap_ppl.so
-lib/libap_ppl_debug.a
-lib/libap_ppl_debug.so
 lib/libapron.a
 lib/libapron.so
-lib/libapron_debug.a
-lib/libapron_debug.so
 lib/libapronxx.a
 lib/libapronxx.so
-lib/libapronxx_debug.a
-lib/libapronxx_debug.so
+lib/libavoD.a
+lib/libavoD.so
+lib/libavoMPQ.a
+lib/libavoMPQ.so
 lib/libboxD.a
 lib/libboxD.so
-lib/libboxD_debug.a
-lib/libboxD_debug.so
 lib/libboxMPFR.a
 lib/libboxMPFR.so
-lib/libboxMPFR_debug.a
-lib/libboxMPFR_debug.so
 lib/libboxMPQ.a
 lib/libboxMPQ.so
-lib/libboxMPQ_debug.a
-lib/libboxMPQ_debug.so
+lib/libfppD.a
+lib/libfppD.so
+lib/libfppDl.a
+lib/libfppDl.so
 lib/libitv.a
 lib/libitvD.a
-lib/libitvD_debug.a
 lib/libitvDl.a
-lib/libitvDl_debug.a
 lib/libitvIl.a
-lib/libitvIl_debug.a
 lib/libitvIll.a
-lib/libitvIll_debug.a
 lib/libitvMPFR.a
-lib/libitvMPFR_debug.a
 lib/libitvMPQ.a
-lib/libitvMPQ_debug.a
 lib/libitvMPZ.a
-lib/libitvMPZ_debug.a
 lib/libitvRl.a
-lib/libitvRl_debug.a
 lib/libitvRll.a
-lib/libitvRll_debug.a
-lib/libitv_debug.a
 lib/liboctD.a
 lib/liboctD.so
-lib/liboctD_debug.a
-lib/liboctD_debug.so
 lib/liboctMPQ.a
 lib/liboctMPQ.so
-lib/liboctMPQ_debug.a
-lib/liboctMPQ_debug.so
 lib/libpolkaMPQ.a
 lib/libpolkaMPQ.so
-lib/libpolkaMPQ_debug.a
-lib/libpolkaMPQ_debug.so
 lib/libpolkaRll.a
 lib/libpolkaRll.so
-lib/libpolkaRll_debug.a
-lib/libpolkaRll_debug.so
 lib/libt1pD.a
 lib/libt1pD.so
-lib/libt1pD_debug.a
-lib/libt1pD_debug.so
 lib/libt1pMPFR.a
 lib/libt1pMPFR.so
-lib/libt1pMPFR_debug.a
-lib/libt1pMPFR_debug.so
 lib/libt1pMPQ.a
 lib/libt1pMPQ.so
-lib/libt1pMPQ_debug.a
-lib/libt1pMPQ_debug.so
 lib/oct.idl
 lib/polka.idl
-lib/ppl.idl