Attachment 250095 Details for Bug 278472 – [PATCH] math/apron: Update 0.9.13 -> 0.9.14

[patch] [PATCH] math/apron: Update 0.9.13 -> 0.9.14

0001-math-apron-Update-0.9.13-0.9.14.patch (text/plain), 6.64 KB, created by Älven on 2024-04-20 02:39:32 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Älven

Created: 2024-04-20 02:39:32 UTC

Size: 6.64 KB

patch

obsolete

>From e4e30adcee7ea131ccb3e09cd47d9dd9aac0c528 Mon Sep 17 00:00:00 2001
>From: Andrey Korobkov <alster@vinterdalen.se>
>Date: Sat, 20 Apr 2024 06:33:42 +0400
>Subject: [PATCH] math/apron: Update 0.9.13 -> 0.9.14
>
>PR: 278472
>---
> math/apron/Makefile              | 14 ++-----
> math/apron/distinfo              |  6 +--
> math/apron/files/patch-configure | 14 +++++++
> math/apron/pkg-descr             | 10 ++---
> math/apron/pkg-plist             | 67 ++++++++++++--------------------
> 5 files changed, 51 insertions(+), 60 deletions(-)
> create mode 100644 math/apron/files/patch-configure
>
>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
>-- 
>2.44.0
>

Flags:

alster: maintainer-approval? (yuri)

Actions: View | Diff

Attachments on bug 278472: 250095