Date: Fri, 11 Aug 2023 18:06:32 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: 617da838ad2b - main - math/gecode: Update to the latest 6.3.0 revision Message-ID: <202308111806.37BI6W13090311@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=617da838ad2b86259dbd72dacd62d5ccc89016ac commit 617da838ad2b86259dbd72dacd62d5ccc89016ac Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2023-08-11 14:52:24 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2023-08-11 14:52:24 +0000 math/gecode: Update to the latest 6.3.0 revision 6.3.0 isn't yet released but is reeady for a long time. --- math/gecode/Makefile | 4 ++-- math/gecode/distinfo | 6 +++--- math/gecode/pkg-plist | 3 +++ 3 files changed, 8 insertions(+), 5 deletions(-) diff --git a/math/gecode/Makefile b/math/gecode/Makefile index 5b2c780ecee3..f0cea16cb2dc 100644 --- a/math/gecode/Makefile +++ b/math/gecode/Makefile @@ -1,7 +1,7 @@ PORTNAME= gecode DISTVERSIONPREFIX= release- DISTVERSION= 6.3.0 -PORTREVISION= 6 +PORTREVISION= 7 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -23,7 +23,7 @@ CONFIGURE_ARGS= --disable-examples USE_GITHUB= yes GH_ACCOUNT= Gecode -GH_TAGNAME= 6b09bea # 6.3.0 branch is ready for a long time, but hasn't been tagged yet +GH_TAGNAME= fc22c40 # 6.3.0 branch is ready for a long time, but hasn't been tagged yet DATADIR= ${PREFIX}/share/minizinc/gecode # it only installs the MiniZinc library into DATADIR diff --git a/math/gecode/distinfo b/math/gecode/distinfo index 9992e505651c..6e4db326da9a 100644 --- a/math/gecode/distinfo +++ b/math/gecode/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1645549139 -SHA256 (Gecode-gecode-release-6.3.0-6b09bea_GH0.tar.gz) = 9cbbc937745042749770cbf514d475287e1e5248747af73f430365fbd593efa3 -SIZE (Gecode-gecode-release-6.3.0-6b09bea_GH0.tar.gz) = 5730870 +TIMESTAMP = 1691773520 +SHA256 (Gecode-gecode-release-6.3.0-fc22c40_GH0.tar.gz) = dc7cfc83a9de32a6b3b8f9dc965ad9914ad7c8643ba6925031cbad574062fb15 +SIZE (Gecode-gecode-release-6.3.0-fc22c40_GH0.tar.gz) = 5741716 diff --git a/math/gecode/pkg-plist b/math/gecode/pkg-plist index 93994bd738c5..6730fbc9a911 100644 --- a/math/gecode/pkg-plist +++ b/math/gecode/pkg-plist @@ -9,7 +9,9 @@ include/gecode/flatzinc.hh include/gecode/flatzinc/ast.hh include/gecode/flatzinc/branch.hh include/gecode/flatzinc/branch.hpp +include/gecode/flatzinc/complete.hh include/gecode/flatzinc/conexpr.hh +include/gecode/flatzinc/lastval.hh include/gecode/flatzinc/option.hh include/gecode/flatzinc/parser.hh %%FLATZINC%%include/gecode/flatzinc/parser.tab.hpp @@ -798,6 +800,7 @@ include/gecode/third-party/boost/type.hpp %%FLATZINC%%%%DATADIR%%/gecode.mzn %%FLATZINC%%%%DATADIR%%/redefinitions-2.0.2.mzn %%FLATZINC%%%%DATADIR%%/redefinitions-2.0.mzn +%%FLATZINC%%%%DATADIR%%/redefinitions-2.2.1.mzn %%FLATZINC%%%%DATADIR%%/redefinitions-2.5.2.mzn %%FLATZINC%%%%DATADIR%%/redefinitions.mzn %%FLATZINC%%share/minizinc/solvers/gecode.msc
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202308111806.37BI6W13090311>