From nobody Sun Jun 25 18:29:37 2023 X-Original-To: dev-commits-ports-main@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 4Qpzz611Wfz4hPJW; Sun, 25 Jun 2023 18:29:38 +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 4Qpzz60Fgfz3v8C; Sun, 25 Jun 2023 18:29:38 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1687717778; 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=ONIOUYeh34R9109eepeFCqWLaLihYNWDW0DDr9wa1SE=; b=YVx0Em/5ebTnGFFjHhb2qtqPGLj9F+bYUDz5ViSx5wc+35uuJxLbt2GZuFx8FLFC7xVszy a01rHgqAXC7JcmM0KoPlHKc2NPGgb1/UPhCATw9dJlJC91TsOfqJTDHkySXQ1TtyQ2586U DzQQMS6HH9LhBIdFKdxEneJixgc8bAwL/FWsFJ8QCOj+N+JcbX8AuHScvHCOdLZn7EIDsU WTm0mFu6u8iC+5NxA3AqXk+Om0DuCoFhs5jqOZiUnSgJUwPh5tl5w3GdDE6xbyPsbNU3R/ AtQFSXC+TzOQWTgfZuDx1ec0iPIwP3U/RmCNwB+D1+qTmAg3TFfTBNN5Gdzy0w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1687717778; 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=ONIOUYeh34R9109eepeFCqWLaLihYNWDW0DDr9wa1SE=; b=qwWVlePkRzH+OdXvlQWprxVZGTs9hbIkJdJSgN2eQNniFXLajmz/LIa4OKrKseEOh0aGEH OT0gBGF6r/9oNQ16xSv1d4m837yeV+fQFc564DcjVP9vFs5vEhq13hyrTLioHrc4u/km2c PQz3wd+UQxZI4YsjPzZrGx7oP/Bbf1xZVxCxdytqbkJq6/sxBY4fq/xMebnUBiGHTB2Mbp DC7LpK6k3B6fjxP6unB7js1csHY5PHvbFO6RmIRzhFC+0fpiOJFBguX7JJEmHNnUYikXip 7FPy0FA6BGWmFJsmjCfNduAwKl2U/8MmE1y/w9Qa7UZW4M39njUi32x4ifEgzw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1687717778; a=rsa-sha256; cv=none; b=u2b7nVhec9yoRu1OKAVMQ8NS6v5XcRSpy2PlUKgNEYsbwP4llgWDp4zJ+fhXX9c1Yf0qXX c7A97cZRXHdFmVXFF2b+gVWmwW3zOiRUBYwvhmZRWZL57Cnf33RM0ofm2e6Q7v7AGEuHCj co5osf6taGnUDdum2LvxgLmwdo0Hxg9aMvR+dEPlLdts5fOuxakxJ8I1EZi55SDdzal+RD rK7KzZqfSjWWh/+4JoWn1vSW0BaC6zhH+NzbHstyL+QwuLrOIapVFF8Ln1rR5zUs61rMTD hIla9LW1/UuhKCKuADbtPPrxWsADWOds3QWqIjwOspJvU95ske6riBApmKNAHg== 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 4Qpzz566f3zd10; Sun, 25 Jun 2023 18:29:37 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 35PITbGF025545; Sun, 25 Jun 2023 18:29:37 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 35PITbAC025544; Sun, 25 Jun 2023 18:29:37 GMT (envelope-from git) Date: Sun, 25 Jun 2023 18:29:37 GMT Message-Id: <202306251829.35PITbAC025544@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: 584102d5e08d - main - =?utf-8?Q?math/cadical:=20Update=201.5.3=20=E2=86=92=201.6.0?= List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@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: 584102d5e08dfbcb2af91db6fafdc492d1615186 Auto-Submitted: auto-generated X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=584102d5e08dfbcb2af91db6fafdc492d1615186 commit 584102d5e08dfbcb2af91db6fafdc492d1615186 Author: Yuri Victorovich AuthorDate: 2023-06-25 17:26:12 +0000 Commit: Yuri Victorovich 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