From nobody Sat Apr 20 03:45:06 2024 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4VLy831tS9z5Gsyh; Sat, 20 Apr 2024 03:45:07 +0000 (UTC) (envelope-from git@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) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4VLy826f3Wz4xdQ; Sat, 20 Apr 2024 03:45:06 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1713584706; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=4UwntXByAEmFB9rAccAvMtKVMoQdtUqlyafcltBRhaU=; b=hCf5bwNspRjqN9rPw9sA0r4IzZxuD3JebfhqBUGztldnzxTF7d7Z+K72FrTAyNEfDray2t qIqPti+kO8ZWIjMGOtu2WplE9Ds1TkVEJPfQ2CIHOdvBLPtagCc7Lj4txouWW/MavXpcDA DXbmr0YSJTiodvcuPI8o5aHVOM/KZUm3uPleQvxJx+fx6tBHmzMb2iIr7ugHcTJ43xwUnP UELNAwjuLWV8JQwHGizgb6ecAFTPILxiCjU52KE8qdPkDhN59ALsW7gdItLyvk5Sl2qiub BdQoCkLmVj7TgHW/LrQ+V9P0mbaTm3IxgIdLtGSSaGMxKYXrbv3lyHuDqPBC+g== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1713584706; a=rsa-sha256; cv=none; b=v/ivKdbTZmHz65rT4FT/jVB2WphzaQTv8BxQ0pHNJiW4NJy0TLwk5a3YARrU5JJzD+NMOF S9LKoIXaSrPObWQ5VKP31mC7DHHE61CdInUligvfDi/b8saInDmHRLO6rrW6n7LfuK4/5x Bpubt2oSj+e3+e1ZcUvME5lFzlvyHmTte604Yk4w9hL+rf4CwvNaQwaaEqc48Kx7swK45f BL+TSDOljytb0BshT+zoN1NL7aCNyNodtkmXFzbLgOkIh54Jk2+ymoEjm+WFf28L4Pumyl q/snqHbGpwwNksq02aRNhlmJtBFscqEBpkllzqJlkUe2tAB9O2EzaEHhdFGcfA== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1713584706; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=4UwntXByAEmFB9rAccAvMtKVMoQdtUqlyafcltBRhaU=; b=bZsNaZt4ZlHu8uNtPVRpKt0sMi9QVGLJU3Hqc8wJPAn7m2/sWI73TxiWhe5IBNxFg8RvWg ofFCc+sL/PyGzxwLKEX9H7KKNvIVOdr5n4BzzxyWq3B45nk2rsr4kGlnhavQ92Dtnc7HRa ld5mhipcKMLKsBV7ljvQ9V9y/wTVcbDu1WyNNw8sFw8MLVrVyroCTq9XibmGMK4b96SFGQ hkbWMBwZz8p2yFWOg7WzVxRZFlD7qw3/YtagPcI/px0n5lvhl6wccc/tFtNxwimz6GqfKT HX45kF6XXBuG5QMTKVDqmfJtxhuMJS2UgQHY4y5GYNACCMaEemT2HKoI3IyGsQ== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4VLy826GSVzLRj; Sat, 20 Apr 2024 03:45:06 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 43K3j6mR017170; Sat, 20 Apr 2024 03:45:06 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 43K3j6I8017167; Sat, 20 Apr 2024 03:45:06 GMT (envelope-from git) Date: Sat, 20 Apr 2024 03:45:06 GMT Message-Id: <202404200345.43K3j6I8017167@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: d4578d590157 - main - math/apron: update 0.9.13 =?utf-8?Q?=E2=86=92?= 0.9.14 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-all@freebsd.org Sender: owner-dev-commits-ports-all@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: d4578d590157d83694db1734762770979039e7fd Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=d4578d590157d83694db1734762770979039e7fd commit d4578d590157d83694db1734762770979039e7fd Author: Andrey Korobkov AuthorDate: 2024-04-20 03:40:52 +0000 Commit: Yuri Victorovich CommitDate: 2024-04-20 03:44:59 +0000 math/apron: update 0.9.13 → 0.9.14 PR: 278472 --- math/apron/Makefile | 14 +++------ math/apron/distinfo | 6 ++-- math/apron/files/patch-configure | 14 +++++++++ math/apron/pkg-descr | 10 +++--- math/apron/pkg-plist | 67 +++++++++++++++------------------------- 5 files changed, 51 insertions(+), 60 deletions(-) diff --git a/math/apron/Makefile b/math/apron/Makefile index 0968829a6648..4c15b8421421 100644 --- a/math/apron/Makefile +++ b/math/apron/Makefile @@ -1,6 +1,6 @@ PORTNAME= apron DISTVERSIONPREFIX= v -DISTVERSION= 0.9.13 +DISTVERSION= 0.9.14 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -10,12 +10,8 @@ WWW= http://apron.cri.ensmp.fr/library/ LICENSE= LGPL21 LICENSE_FILE= ${WRKSRC}/COPYING -BROKEN_aarch64= uses deprecated fpsetround(3) that isn't even defined on arm64, see https://github.com/antoinemine/apron/issues/47 -BROKEN_armv6= uses deprecated fpsetround(3) that isn't even defined on armv6, see https://github.com/antoinemine/apron/issues/47 -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 \ +LIB_DEPENDS= libglpk.so:math/glpk \ + libgmp.so:math/gmp \ libmpfr.so:math/mpfr \ libppl.so:devel/ppl @@ -29,8 +25,6 @@ HAS_CONFIGURE= yes CONFIGURE_ARGS= -prefix ${STAGEDIR}${PREFIX} -no-ocaml -no-java post-stage: - @${STRIP_CMD} \ - ${STAGEDIR}${LOCALBASE}/bin/* \ - ${STAGEDIR}${LOCALBASE}/lib/lib*.so + @${STRIP_CMD} ${STAGEDIR}${LOCALBASE}/lib/lib*.so .include diff --git a/math/apron/distinfo b/math/apron/distinfo index 739c198a9793..9238550cf77c 100644 --- a/math/apron/distinfo +++ b/math/apron/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1658283944 -SHA256 (antoinemine-apron-v0.9.13_GH0.tar.gz) = 4af627e24623ab26948ea980077d015bfb9543374d857fbb42a8b6571e2fb36e -SIZE (antoinemine-apron-v0.9.13_GH0.tar.gz) = 988019 +TIMESTAMP = 1713577837 +SHA256 (antoinemine-apron-v0.9.14_GH0.tar.gz) = ce6d6bfbe120ac87ceab6d5e470097aedefe7000a72d31959556fae1c6bc25d9 +SIZE (antoinemine-apron-v0.9.14_GH0.tar.gz) = 1196056 diff --git a/math/apron/files/patch-configure b/math/apron/files/patch-configure new file mode 100644 index 000000000000..5e2c70e89021 --- /dev/null +++ b/math/apron/files/patch-configure @@ -0,0 +1,14 @@ +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 + "") diff --git a/math/apron/pkg-descr b/math/apron/pkg-descr index 05342782958c..bcc8aaf42e05 100644 --- a/math/apron/pkg-descr +++ b/math/apron/pkg-descr @@ -1,8 +1,8 @@ -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 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 diff --git a/math/apron/pkg-plist b/math/apron/pkg-plist index d158a8fc0111..85420db0d796 100644 --- a/math/apron/pkg-plist +++ b/math/apron/pkg-plist @@ -1,6 +1,3 @@ -bin/ap_ppl_test -bin/octtestD -bin/octtestMPQ include/ap_abstract0.h include/ap_abstract1.h include/ap_coeff.h @@ -87,9 +84,23 @@ include/apronxx/apxx_texpr1.hh 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 @@ -116,82 +127,54 @@ include/oct/oct_internal.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/libapronxx_debug.a -lib/libapronxx_debug.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/libboxMPQ_debug.a -lib/libboxMPQ_debug.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