From owner-svn-ports-all@freebsd.org Fri Dec 14 19:53:49 2018 Return-Path: Delivered-To: svn-ports-all@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id E94A8130B88A; Fri, 14 Dec 2018 19:53:48 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 8E1E78E84A; Fri, 14 Dec 2018 19:53:48 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 8091045C4; Fri, 14 Dec 2018 19:53:48 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id wBEJrmtr065423; Fri, 14 Dec 2018 19:53:48 GMT (envelope-from yuri@FreeBSD.org) Received: (from yuri@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id wBEJrlFB065418; Fri, 14 Dec 2018 19:53:47 GMT (envelope-from yuri@FreeBSD.org) Message-Id: <201812141953.wBEJrlFB065418@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: yuri set sender to yuri@FreeBSD.org using -f From: Yuri Victorovich Date: Fri, 14 Dec 2018 19:53:47 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r487460 - in head/math: . apron X-SVN-Group: ports-head X-SVN-Commit-Author: yuri X-SVN-Commit-Paths: in head/math: . apron X-SVN-Commit-Revision: 487460 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Rspamd-Queue-Id: 8E1E78E84A X-Spamd-Bar: -- Authentication-Results: mx1.freebsd.org X-Spamd-Result: default: False [-2.85 / 15.00]; local_wl_from(0.00)[FreeBSD.org]; NEURAL_HAM_MEDIUM(-0.99)[-0.990,0]; NEURAL_HAM_SHORT(-0.98)[-0.982,0]; ASN(0.00)[asn:11403, ipnet:2610:1c1:1::/48, country:US]; NEURAL_HAM_LONG(-0.88)[-0.881,0] X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 14 Dec 2018 19:53:49 -0000 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 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