Mirrors
/
freebsd-ports
mirror of https://git.freebsd.org/ports.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

math/apron: update 0.9.13 → 0.9.14 

PR:	278472
main
Andrey Korobkov 2024-04-19 20:40:52 -07:00 committed by Yuri Victorovich
parent 7397247175
commit d4578d5901
5 changed files with 51 additions and 60 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
math/apron/Makefile
View File

@ -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>

6
math/apron/distinfo
View File

@ -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

14
math/apron/files/patch-configure Normal file
View File

@ -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
"")

10
math/apron/pkg-descr
View File

@ -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

67
math/apron/pkg-plist
View File

@ -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