kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

math/gecode: Update to the latest 6.3.0 revision

Browse source 
6.3.0 isn't yet released but is reeady for a long time.
This commit is contained in:
Yuri Victorovich 2023-08-11 07:52:24 -07:00
parent f3252d9b43
commit 617da838ad
3 changed files with 8 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
math/gecode/Makefile
View file

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

6
math/gecode/distinfo
View file

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

3
math/gecode/pkg-plist
View file

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