svn commit: r487460 - in head/math: . apron
Yuri Victorovich
yuri at FreeBSD.org
Fri Dec 14 19:53:49 UTC 2018
Author: yuri
Date: Fri Dec 14 19:53:47 2018
New Revision: 487460
URL: https://svnweb.freebsd.org/changeset/ports/487460
Log:
New port: math/apron: APRON numerical abstract domain library
Added:
head/math/apron/
head/math/apron/Makefile (contents, props changed)
head/math/apron/distinfo (contents, props changed)
head/math/apron/pkg-descr (contents, props changed)
head/math/apron/pkg-plist (contents, props changed)
Modified:
head/math/Makefile
Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile Fri Dec 14 19:39:38 2018 (r487459)
+++ head/math/Makefile Fri Dec 14 19:53:47 2018 (r487460)
@@ -126,6 +126,7 @@
SUBDIR += ann
SUBDIR += antic
SUBDIR += apc
+ SUBDIR += apron
SUBDIR += arb
SUBDIR += aribas
SUBDIR += armadillo
Added: head/math/apron/Makefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/apron/Makefile Fri Dec 14 19:53:47 2018 (r487460)
@@ -0,0 +1,53 @@
+# $FreeBSD$
+
+PORTNAME= apron
+DISTVERSION= 0.9.11
+DISTVERSIONSUFFIX= .r${SVN_REVISION}
+CATEGORIES= math
+
+MAINTAINER= yuri at FreeBSD.org
+COMMENT= APRON numerical abstract domain library
+
+LICENSE= LGPL21
+LICENSE_FILE= ${WRKSRC}/COPYING
+
+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
+xNO_CHECKSUM= 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
+
+post-stage:
+ @${RM} ${STAGEDIR}${LOCALBASE}/bin/*test*
+ @${RM} ${STAGEDIR}${LOCALBASE}/lib/*.a
+ @${STRIP_CMD} ${STAGEDIR}${LOCALBASE}/lib/lib*.so
+
+.include <bsd.port.mk>
Added: head/math/apron/distinfo
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/apron/distinfo Fri Dec 14 19:53:47 2018 (r487460)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1544814261
+SHA256 (apron-0.9.11.r1104.tar.gz) = 78d8adaf728095af2f4893f2437ee3cbed4060f11a369428b7fca0cd59e220f0
+SIZE (apron-0.9.11.r1104.tar.gz) = 984708
Added: head/math/apron/pkg-descr
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/apron/pkg-descr Fri Dec 14 19:53:47 2018 (r487460)
@@ -0,0 +1,11 @@
+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
+implemented independently from the underlying library/abstract domain.
+
+WWW: http://apron.cri.ensmp.fr/library/
Added: head/math/apron/pkg-plist
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/apron/pkg-plist Fri Dec 14 19:53:47 2018 (r487460)
@@ -0,0 +1,90 @@
+include/ap_abstract0.h
+include/ap_abstract1.h
+include/ap_coeff.h
+include/ap_config.h
+include/ap_dimension.h
+include/ap_disjunction.h
+include/ap_environment.h
+include/ap_expr0.h
+include/ap_expr1.h
+include/ap_generator0.h
+include/ap_generator1.h
+include/ap_generic.h
+include/ap_global0.h
+include/ap_global1.h
+include/ap_interval.h
+include/ap_lincons0.h
+include/ap_lincons1.h
+include/ap_linearize.h
+include/ap_linearize_aux.h
+include/ap_linexpr0.h
+include/ap_linexpr1.h
+include/ap_manager.h
+include/ap_pkgrid.h
+include/ap_policy.h
+include/ap_ppl.h
+include/ap_reducedproduct.h
+include/ap_scalar.h
+include/ap_tcons0.h
+include/ap_tcons1.h
+include/ap_texpr0.h
+include/ap_texpr1.h
+include/ap_var.h
+include/bound.h
+include/bound_def.h
+include/box.h
+include/itv.h
+include/itv_config.h
+include/itv_fun.h
+include/itv_linearize.h
+include/itv_linexpr.h
+include/num.h
+include/num_config.h
+include/num_name.h
+include/num_numflt.h
+include/num_numint.h
+include/num_numrat.h
+include/numflt.h
+include/numflt_mpfr.h
+include/numflt_native.h
+include/numint.h
+include/numint_mpz.h
+include/numint_native.h
+include/numrat.h
+include/numrat_mpq.h
+include/numrat_native.h
+include/oct.h
+include/oct/oct_fun.h
+include/oct/oct_internal.h
+include/pk.h
+include/pkeq.h
+include/t1p.h
+lib/libap_pkgrid.so
+lib/libap_pkgrid_debug.so
+lib/libap_ppl.so
+lib/libap_ppl_debug.so
+lib/libapron.so
+lib/libapron_debug.so
+lib/libboxD.so
+lib/libboxD_debug.so
+lib/libboxMPFR.so
+lib/libboxMPFR_debug.so
+lib/libboxMPQ.so
+lib/libboxMPQ_debug.so
+lib/liboctD.so
+lib/liboctD_debug.so
+lib/liboctMPQ.so
+lib/liboctMPQ_debug.so
+lib/libpolkaMPQ.so
+lib/libpolkaMPQ_debug.so
+lib/libpolkaRll.so
+lib/libpolkaRll_debug.so
+lib/libt1pD.so
+lib/libt1pD_debug.so
+lib/libt1pMPFR.so
+lib/libt1pMPFR_debug.so
+lib/libt1pMPQ.so
+lib/libt1pMPQ_debug.so
+lib/oct.idl
+lib/polka.idl
+lib/ppl.idl
More information about the svn-ports-head
mailing list