Date: Fri, 14 Dec 2018 19:53:47 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r487460 - in head/math: . apron Message-ID: <201812141953.wBEJrlFB065418@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201812141953.wBEJrlFB065418>