mykola/freebsd-ports
1
0
Fork 0
forked from Lainports/freebsd-ports
Code Pull requests Activity

math/cadical: Update 1.5.3 → 1.6.0

Browse source
This commit is contained in:
Yuri Victorovich 2023-06-25 10:26:12 -07:00
parent a07febfd40
commit 584102d5e0
5 changed files with 6 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
math/boolector/Makefile
View file

@ -1,6 +1,6 @@
PORTNAME= boolector
DISTVERSION= 3.2.2
PORTREVISION= 1
PORTREVISION= 2
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org

2
math/cadical/Makefile
View file

@ -1,6 +1,6 @@
PORTNAME= cadical
DISTVERSIONPREFIX= rel-
DISTVERSION= 1.5.3
DISTVERSION= 1.6.0
CATEGORIES= math devel
MAINTAINER= yuri@FreeBSD.org

6
math/cadical/distinfo
View file

@ -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

18
math/cadical/files/patch-src_mobical.cpp
View file

@ -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 () {

2
math/cvc5/Makefile
View file

@ -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