Attachment #250095 for bug #278472

View | Details | Raw Unified | Return to bug 278472
Collapse All | Expand All




PORTNAME=	apron
DISTVERSIONPREFIX=	v
DISTVERSION=	0.9.14
CATEGORIES=	math

MAINTAINER=	yuri@FreeBSD.org

LICENSE=	LGPL21
LICENSE_FILE=	${WRKSRC}/COPYING

LIB_DEPENDS=	libglpk.so:math/glpk \
		libgmp.so:math/gmp \
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 \
		libmpfr.so:math/mpfr \
		libppl.so:devel/ppl


CONFIGURE_ARGS=	-prefix ${STAGEDIR}${PREFIX} -no-ocaml -no-java

post-stage:
	  @${STRIP_CMD} ${STAGEDIR}${LOCALBASE}/lib/lib*.so
	  	${STAGEDIR}${LOCALBASE}/bin/* \
	  	${STAGEDIR}${LOCALBASE}/lib/lib*.so

.include <bsd.port.mk>

Lines 1-3 Link Here

(-)b/math/apron/distinfo (-3 / +3 lines)
1	TIMESTAMP = 1658283944	1	TIMESTAMP = 1713577837
2	SHA256 (antoinemine-apron-v0.9.13_GH0.tar.gz) = 4af627e24623ab26948ea980077d015bfb9543374d857fbb42a8b6571e2fb36e	2	SHA256 (antoinemine-apron-v0.9.14_GH0.tar.gz) = ce6d6bfbe120ac87ceab6d5e470097aedefe7000a72d31959556fae1c6bc25d9
3	SIZE (antoinemine-apron-v0.9.13_GH0.tar.gz) = 988019	3	SIZE (antoinemine-apron-v0.9.14_GH0.tar.gz) = 1196056




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

Lines 1-8 Link Here

(-)b/math/apron/pkg-descr (-5 / +5 lines)
1	The APRON library is dedicated to the static analysis of the numerical variables	1	The APRON library is dedicated to the static analysis of the numerical
2	of a program by Abstract Interpretation. The aim of such an analysis is to infer	2	variables of a program by Abstract Interpretation. The aim of such an
3	invariants about these variables. like 1<=x+y<=z, which holds during any	3	analysis is to infer invariants about these variables. like 1<=x+y<=z, which
4	execution of the program. You may look at to the Interproc analyzer for an	4	holds during any execution of the program. You may look at to the Interproc
5	online demonstration of static analysis.	5	analyzer for an online demonstration of static analysis.
6		6
7	The APRON library is intended to be a common interface to various underlying	7	The APRON library is intended to be a common interface to various underlying
8	libraries/abstract domains and to provide additional services that can be	8	libraries/abstract domains and to provide additional services that can be




bin/ap_ppl_test
bin/octtestD
bin/octtestMPQ
include/ap_abstract0.h
include/ap_abstract1.h
include/ap_coeff.h

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

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

Return to bug 278472

Lines 1-6 Link Here

(-)b/math/apron/Makefile (-10 / +4 lines)
1	PORTNAME= apron	1	PORTNAME= apron
2	DISTVERSIONPREFIX= v	2	DISTVERSIONPREFIX= v
3	DISTVERSION= 0.9.13	3	DISTVERSION= 0.9.14
4	CATEGORIES= math	4	CATEGORIES= math
5		5
6	MAINTAINER= yuri@FreeBSD.org	6	MAINTAINER= yuri@FreeBSD.org
Lines 10-21 WWW= http://apron.cri.ensmp.fr/library/ Link Here
10	LICENSE= LGPL21	10	LICENSE= LGPL21
11	LICENSE_FILE= ${WRKSRC}/COPYING	11	LICENSE_FILE= ${WRKSRC}/COPYING
12		12
13	BROKEN_aarch64= uses deprecated fpsetround(3) that isn't even defined on arm64, see https://github.com/antoinemine/apron/issues/47	13	LIB_DEPENDS= libglpk.so:math/glpk \
14	BROKEN_armv6= uses deprecated fpsetround(3) that isn't even defined on armv6, see https://github.com/antoinemine/apron/issues/47	14	libgmp.so:math/gmp \
15	BROKEN_armv7= uses deprecated fpsetround(3) that isn't even defined on armv7, see https://github.com/antoinemine/apron/issues/47
16	BROKEN_riscv64= uses deprecated fpsetround(3) that isn't even defined on riscv64, see https://github.com/antoinemine/apron/issues/47
17
18	LIB_DEPENDS= libgmp.so:math/gmp \
19	libmpfr.so:math/mpfr \	15	libmpfr.so:math/mpfr \
20	libppl.so:devel/ppl	16	libppl.so:devel/ppl
21		17
Lines 29-36 HAS_CONFIGURE= yes Link Here
29	CONFIGURE_ARGS= -prefix ${STAGEDIR}${PREFIX} -no-ocaml -no-java	25	CONFIGURE_ARGS= -prefix ${STAGEDIR}${PREFIX} -no-ocaml -no-java
30		26
31	post-stage:	27	post-stage:
32	@${STRIP_CMD} \	28	@${STRIP_CMD} ${STAGEDIR}${LOCALBASE}/lib/lib*.so
33	${STAGEDIR}${LOCALBASE}/bin/* \
34	${STAGEDIR}${LOCALBASE}/lib/lib*.so
35		29
36	.include <bsd.port.mk>	30	.include <bsd.port.mk>

Added Link Here

(-)b/math/apron/files/patch-configure (+14 lines)
1	According to the POSIX conventions each option name
2	should be a single alphanumeric character.
3
4	--- configure.orig 2024-04-20 02:07:27 UTC
5	+++ configure
6	@@ -71,7 +71,7 @@ has_debug=0
7	force_absolute_dylib_install_names=0;
8	ext_dll=so
9	has_debug=0
10	-do_strip=--strip
11	+do_strip=-s
12	while : ; do
13	case "$1" in
14	"")

Lines 1-6 Link Here

(-)b/math/apron/pkg-plist (-43 / +25 lines)
1	bin/ap_ppl_test
2	bin/octtestD
3	bin/octtestMPQ
4	include/ap_abstract0.h	1	include/ap_abstract0.h
5	include/ap_abstract1.h	2	include/ap_abstract1.h
6	include/ap_coeff.h	3	include/ap_coeff.h
Lines 87-95 include/apronxx/apxx_texpr1.hh Link Here
87	include/apronxx/apxx_texpr1_inline.hh	84	include/apronxx/apxx_texpr1_inline.hh
88	include/apronxx/apxx_var.hh	85	include/apronxx/apxx_var.hh
89	include/apronxx/apxx_var_inline.hh	86	include/apronxx/apxx_var_inline.hh
		87	include/avo.h
		88	include/avo/avo_fun.h
		89	include/avo/avo_internal.h
90	include/bound.h	90	include/bound.h
91	include/bound_def.h	91	include/bound_def.h
92	include/box.h	92	include/box.h
		93	include/fpp.h
		94	include/fpp/bt.h
		95	include/fpp/bv.h
		96	include/fpp/fm.h
		97	include/fpp/fpp_fun.h
		98	include/fpp/fpp_internal.h
		99	include/fpp/fpp_weakjoin.h
		100	include/fpp/fppol_domain.h
		101	include/fpp/numitv.h
		102	include/fpp/quasi_linear.h
		103	include/fpp/rlp.h
93	include/itv.h	104	include/itv.h
94	include/itv_config.h	105	include/itv_config.h
95	include/itv_fun.h	106	include/itv_fun.h
Lines 116-197 include/oct/oct_internal.h Link Here
116	include/pk.h	127	include/pk.h
117	include/pkeq.h	128	include/pkeq.h
118	include/t1p.h	129	include/t1p.h
		130	lib/avo.idl
		131	lib/box.idl
		132	lib/fpp.idl
119	lib/libap_pkgrid.a	133	lib/libap_pkgrid.a
120	lib/libap_pkgrid.so	134	lib/libap_pkgrid.so
121	lib/libap_pkgrid_debug.a
122	lib/libap_pkgrid_debug.so
123	lib/libap_ppl.a	135	lib/libap_ppl.a
124	lib/libap_ppl.so	136	lib/libap_ppl.so
125	lib/libap_ppl_debug.a
126	lib/libap_ppl_debug.so
127	lib/libapron.a	137	lib/libapron.a
128	lib/libapron.so	138	lib/libapron.so
129	lib/libapron_debug.a
130	lib/libapron_debug.so
131	lib/libapronxx.a	139	lib/libapronxx.a
132	lib/libapronxx.so	140	lib/libapronxx.so
133	lib/libapronxx_debug.a	141	lib/libavoD.a
134	lib/libapronxx_debug.so	142	lib/libavoD.so
		143	lib/libavoMPQ.a
		144	lib/libavoMPQ.so
135	lib/libboxD.a	145	lib/libboxD.a
136	lib/libboxD.so	146	lib/libboxD.so
137	lib/libboxD_debug.a
138	lib/libboxD_debug.so
139	lib/libboxMPFR.a	147	lib/libboxMPFR.a
140	lib/libboxMPFR.so	148	lib/libboxMPFR.so
141	lib/libboxMPFR_debug.a
142	lib/libboxMPFR_debug.so
143	lib/libboxMPQ.a	149	lib/libboxMPQ.a
144	lib/libboxMPQ.so	150	lib/libboxMPQ.so
145	lib/libboxMPQ_debug.a	151	lib/libfppD.a
146	lib/libboxMPQ_debug.so	152	lib/libfppD.so
		153	lib/libfppDl.a
		154	lib/libfppDl.so
147	lib/libitv.a	155	lib/libitv.a
148	lib/libitvD.a	156	lib/libitvD.a
149	lib/libitvD_debug.a
150	lib/libitvDl.a	157	lib/libitvDl.a
151	lib/libitvDl_debug.a
152	lib/libitvIl.a	158	lib/libitvIl.a
153	lib/libitvIl_debug.a
154	lib/libitvIll.a	159	lib/libitvIll.a
155	lib/libitvIll_debug.a
156	lib/libitvMPFR.a	160	lib/libitvMPFR.a
157	lib/libitvMPFR_debug.a
158	lib/libitvMPQ.a	161	lib/libitvMPQ.a
159	lib/libitvMPQ_debug.a
160	lib/libitvMPZ.a	162	lib/libitvMPZ.a
161	lib/libitvMPZ_debug.a
162	lib/libitvRl.a	163	lib/libitvRl.a
163	lib/libitvRl_debug.a
164	lib/libitvRll.a	164	lib/libitvRll.a
165	lib/libitvRll_debug.a
166	lib/libitv_debug.a
167	lib/liboctD.a	165	lib/liboctD.a
168	lib/liboctD.so	166	lib/liboctD.so
169	lib/liboctD_debug.a
170	lib/liboctD_debug.so
171	lib/liboctMPQ.a	167	lib/liboctMPQ.a
172	lib/liboctMPQ.so	168	lib/liboctMPQ.so
173	lib/liboctMPQ_debug.a
174	lib/liboctMPQ_debug.so
175	lib/libpolkaMPQ.a	169	lib/libpolkaMPQ.a
176	lib/libpolkaMPQ.so	170	lib/libpolkaMPQ.so
177	lib/libpolkaMPQ_debug.a
178	lib/libpolkaMPQ_debug.so
179	lib/libpolkaRll.a	171	lib/libpolkaRll.a
180	lib/libpolkaRll.so	172	lib/libpolkaRll.so
181	lib/libpolkaRll_debug.a
182	lib/libpolkaRll_debug.so
183	lib/libt1pD.a	173	lib/libt1pD.a
184	lib/libt1pD.so	174	lib/libt1pD.so
185	lib/libt1pD_debug.a
186	lib/libt1pD_debug.so
187	lib/libt1pMPFR.a	175	lib/libt1pMPFR.a
188	lib/libt1pMPFR.so	176	lib/libt1pMPFR.so
189	lib/libt1pMPFR_debug.a
190	lib/libt1pMPFR_debug.so
191	lib/libt1pMPQ.a	177	lib/libt1pMPQ.a
192	lib/libt1pMPQ.so	178	lib/libt1pMPQ.so
193	lib/libt1pMPQ_debug.a
194	lib/libt1pMPQ_debug.so
195	lib/oct.idl	179	lib/oct.idl
196	lib/polka.idl	180	lib/polka.idl
197	lib/ppl.idl
198	-