Skip to content

Commit

Permalink
math/apron: Update 0.9.12 -> 0.9.12
Browse files Browse the repository at this point in the history
  • Loading branch information
@yurivict
yurivict committed Sep 2, 2021
1 parent 45b70ea commit b289264
Show file tree
Hide file tree
Showing 11 changed files with 121 additions and 136 deletions.
2 changes: 1 addition & 1 deletion devel/ikos/Makefile
View file
@@ -1,7 +1,7 @@
PORTNAME= ikos
DISTVERSIONPREFIX= v
DISTVERSION= 3.0
PORTREVISION= 3
PORTREVISION= 4
CATEGORIES= devel

MAINTAINER= yuri@FreeBSD.org
Expand Down
40 changes: 10 additions & 30 deletions math/apron/Makefile
View file
@@ -1,6 +1,6 @@
PORTNAME= apron
DISTVERSION= 0.9.12
DISTVERSIONSUFFIX= .r${SVN_REVISION}
DISTVERSIONPREFIX= v
DISTVERSION= 0.9.13
CATEGORIES= math

MAINTAINER= yuri@FreeBSD.org
Expand All @@ -11,42 +11,22 @@ LICENSE_FILE= ${WRKSRC}/COPYING

BROKEN_aarch64= ld: error: ../apron/libapron_debug.so: undefined reference to fpsetround

FETCH_DEPENDS= svn:devel/subversion
LIB_DEPENDS= libgmp.so:math/gmp \
libmpfr.so:math/mpfr \
libppl.so:devel/ppl

USES= gmake localbase:ldflags
USE_LDCONFIG= yes

SVN_URL= svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk
SVN_REVISION= 1104

do-fetch:
@if [ "${FORCE_FETCH_ALL}" = "true" ] || ! [ -f "${DISTDIR}/${DIST_SUBDIR}/${DISTNAME}${EXTRACT_SUFX}" ]; then \
${MKDIR} ${DISTDIR}/${DIST_SUBDIR} && \
cd ${DISTDIR}/${DIST_SUBDIR} && \
svn co -r ${SVN_REVISION} ${SVN_URL} ${PORTNAME}-${DISTVERSIONFULL} && \
(cd ${PORTNAME}-${DISTVERSIONFULL} && ${RM} -r .svn) && \
${FIND} ${PORTNAME}-${DISTVERSIONFULL} -and -exec ${TOUCH} -h -d 1970-01-01T00:00:00Z {} \; && \
${FIND} ${PORTNAME}-${DISTVERSIONFULL} -print0 | LC_ALL=C ${SORT} -z | \
${TAR} czf ${PORTNAME}-${DISTVERSIONFULL}${EXTRACT_SUFX} --format=bsdtar --gid 0 --uid 0 --options gzip:!timestamp --no-recursion --null -T - && \
${RM} -r ${PORTNAME}-${DISTVERSIONFULL}; \
fi

pre-build:
@${CP} ${WRKSRC}/Makefile.config.model ${WRKSRC}/Makefile.config
@${REINPLACE_CMD} -e ' \
s|^APRON_PREFIX *=.*$$|APRON_PREFIX=${STAGEDIR}${LOCALBASE}|; \
s|^HAS_OCAML *=.*$$|HAS_OCAML=|; \
s|^HAS_OCAMLOPT *=.*$$|HAS_OCAMLOPT=|; \
s|^OCAMLFIND *=.*$$|OCAMLFIND=|; \
s|^# HAS_PPL *=.*$$|HAS_PPL=1|' \
${WRKSRC}/Makefile.config
HAS_CONFIGURE= yes
CONFIGURE_ARGS= -prefix ${STAGEDIR}${PREFIX} -no-ocaml -no-java

USE_GITHUB= yes
GH_ACCOUNT= antoinemine

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

.include <bsd.port.mk>
6 changes: 3 additions & 3 deletions math/apron/distinfo
View file
@@ -1,3 +1,3 @@
TIMESTAMP = 1581280527
SHA256 (apron-0.9.12.r1104.tar.gz) = 5249ebd06e274ca55c0ecc5cb0ed799f22eac5abd0a3f82388182f0107323aee
SIZE (apron-0.9.12.r1104.tar.gz) = 984719
TIMESTAMP = 1630529475
SHA256 (antoinemine-apron-v0.9.13_GH0.tar.gz) = 4af627e24623ab26948ea980077d015bfb9543374d857fbb42a8b6571e2fb36e
SIZE (antoinemine-apron-v0.9.13_GH0.tar.gz) = 988019
17 changes: 0 additions & 17 deletions math/apron/files/patch-apron_Makefile
View file

This file was deleted.

14 changes: 0 additions & 14 deletions math/apron/files/patch-box_Makefile
View file

This file was deleted.

14 changes: 0 additions & 14 deletions math/apron/files/patch-newpolka_Makefile
View file

This file was deleted.

15 changes: 0 additions & 15 deletions math/apron/files/patch-octagons_Makefile
View file

This file was deleted.

14 changes: 0 additions & 14 deletions math/apron/files/patch-ppl_Makefile
View file

This file was deleted.

14 changes: 0 additions & 14 deletions math/apron/files/patch-products_Makefile
View file

This file was deleted.

14 changes: 0 additions & 14 deletions math/apron/files/patch-taylor1plus_Makefile
View file

This file was deleted.

107 changes: 107 additions & 0 deletions math/apron/pkg-plist
View file
@@ -1,3 +1,6 @@
bin/ap_ppl_test
bin/octtestD
bin/octtestMPQ
include/ap_abstract0.h
include/ap_abstract1.h
include/ap_coeff.h
Expand Down Expand Up @@ -30,6 +33,60 @@ include/ap_tcons1.h
include/ap_texpr0.h
include/ap_texpr1.h
include/ap_var.h
include/ap_version.h
include/apronxx/apronxx.hh
include/apronxx/apxx_abstract0.hh
include/apronxx/apxx_abstract0_inline.hh
include/apronxx/apxx_abstract1.hh
include/apronxx/apxx_abstract1_inline.hh
include/apronxx/apxx_box.hh
include/apronxx/apxx_box_inline.hh
include/apronxx/apxx_coeff.hh
include/apronxx/apxx_coeff_inline.hh
include/apronxx/apxx_dimension.hh
include/apronxx/apxx_dimension_inline.hh
include/apronxx/apxx_environment.hh
include/apronxx/apxx_environment_inline.hh
include/apronxx/apxx_expr0.hh
include/apronxx/apxx_expr1.hh
include/apronxx/apxx_generator0.hh
include/apronxx/apxx_generator0_inline.hh
include/apronxx/apxx_generator1.hh
include/apronxx/apxx_generator1_inline.hh
include/apronxx/apxx_interval.hh
include/apronxx/apxx_interval_inline.hh
include/apronxx/apxx_lincons0.hh
include/apronxx/apxx_lincons0_inline.hh
include/apronxx/apxx_lincons1.hh
include/apronxx/apxx_lincons1_inline.hh
include/apronxx/apxx_linexpr0.hh
include/apronxx/apxx_linexpr0_inline.hh
include/apronxx/apxx_linexpr1.hh
include/apronxx/apxx_linexpr1_inline.hh
include/apronxx/apxx_manager.hh
include/apronxx/apxx_manager_inline.hh
include/apronxx/apxx_oct.hh
include/apronxx/apxx_oct_inline.hh
include/apronxx/apxx_polka.hh
include/apronxx/apxx_polka_inline.hh
include/apronxx/apxx_ppl.hh
include/apronxx/apxx_ppl_inline.hh
include/apronxx/apxx_ppl_product.hh
include/apronxx/apxx_ppl_product_inline.hh
include/apronxx/apxx_scalar.hh
include/apronxx/apxx_scalar_inline.hh
include/apronxx/apxx_t1p.hh
include/apronxx/apxx_t1p_inline.hh
include/apronxx/apxx_tcons0.hh
include/apronxx/apxx_tcons0_inline.hh
include/apronxx/apxx_tcons1.hh
include/apronxx/apxx_tcons1_inline.hh
include/apronxx/apxx_texpr0.hh
include/apronxx/apxx_texpr0_inline.hh
include/apronxx/apxx_texpr1.hh
include/apronxx/apxx_texpr1_inline.hh
include/apronxx/apxx_var.hh
include/apronxx/apxx_var_inline.hh
include/bound.h
include/bound_def.h
include/box.h
Expand Down Expand Up @@ -59,31 +116,81 @@ include/oct/oct_internal.h
include/pk.h
include/pkeq.h
include/t1p.h
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/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/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
Expand Down

0 comments on commit b289264

Please sign in to comment.