Date: Sun, 25 Jun 2023 18:29:37 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 584102d5e08d - main - =?utf-8?Q?math/cadical:=20Update=201.5.3=20=E2=86=92=201.6.0?= Message-ID: <202306251829.35PITbAC025544@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=584102d5e08dfbcb2af91db6fafdc492d1615186 commit 584102d5e08dfbcb2af91db6fafdc492d1615186 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2023-06-25 17:26:12 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2023-06-25 18:29:33 +0000 math/cadical: Update 1.5.3 → 1.6.0 --- math/boolector/Makefile | 2 +- math/cadical/Makefile | 2 +- math/cadical/distinfo | 6 +++--- math/cadical/files/patch-src_mobical.cpp | 18 ------------------ math/cvc5/Makefile | 2 +- 5 files changed, 6 insertions(+), 24 deletions(-) diff --git a/math/boolector/Makefile b/math/boolector/Makefile index 419bf7877c46..9bc42a36a4be 100644 --- a/math/boolector/Makefile +++ b/math/boolector/Makefile @@ -1,6 +1,6 @@ PORTNAME= boolector DISTVERSION= 3.2.2 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/cadical/Makefile b/math/cadical/Makefile index 815d8cb14cd1..fef83a185bf9 100644 --- a/math/cadical/Makefile +++ b/math/cadical/Makefile @@ -1,6 +1,6 @@ PORTNAME= cadical DISTVERSIONPREFIX= rel- -DISTVERSION= 1.5.3 +DISTVERSION= 1.6.0 CATEGORIES= math devel MAINTAINER= yuri@FreeBSD.org diff --git a/math/cadical/distinfo b/math/cadical/distinfo index ee0e226276a6..0efebe577ed3 100644 --- a/math/cadical/distinfo +++ b/math/cadical/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1672780757 -SHA256 (arminbiere-cadical-rel-1.5.3_GH0.tar.gz) = 0ff521ed36d57478a8dbc610e0d27536c9d3a2154d859152f33f8733a6dca31e -SIZE (arminbiere-cadical-rel-1.5.3_GH0.tar.gz) = 596378 +TIMESTAMP = 1687708706 +SHA256 (arminbiere-cadical-rel-1.6.0_GH0.tar.gz) = 104a271f7448827f5b48798e0b305b150631df6a6bca1106b3d2b4ea4044efab +SIZE (arminbiere-cadical-rel-1.6.0_GH0.tar.gz) = 618384 diff --git a/math/cadical/files/patch-src_mobical.cpp b/math/cadical/files/patch-src_mobical.cpp deleted file mode 100644 index 096b51f70222..000000000000 --- a/math/cadical/files/patch-src_mobical.cpp +++ /dev/null @@ -1,18 +0,0 @@ -- workaround for https://github.com/arminbiere/cadical/issues/48 - ---- src/mobical.cpp.orig 2022-08-17 10:12:36 UTC -+++ src/mobical.cpp -@@ -2611,7 +2611,12 @@ Mobical::Mobical () - { - const int prot = PROT_READ | PROT_WRITE; - const int flags = MAP_ANONYMOUS | MAP_SHARED; -- shared = (Shared*) mmap (0, sizeof *shared, prot, flags, 0, 0); -+ void *m = mmap (0, sizeof *shared, prot, flags, -1, 0); -+ if (m == MAP_FAILED) { -+ perror("mmap failed"); -+ exit(1); -+ } -+ shared = (Shared*)m; - } - - Mobical::~Mobical () { diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile index 8d9bcdef596d..e66fdc5dfa2e 100644 --- a/math/cvc5/Makefile +++ b/math/cvc5/Makefile @@ -1,7 +1,7 @@ PORTNAME= cvc5 DISTVERSIONPREFIX= cvc5- DISTVERSION= 1.0.5 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math java MASTER_SITES+= http://www.antlr3.org/download/:antlr3 DISTFILES+= antlr-3.4-complete.jar:antlr3
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202306251829.35PITbAC025544>