diff --git a/math/gecode/Makefile b/math/gecode/Makefile index 9c0a79998508..7d41d89cd100 100644 --- a/math/gecode/Makefile +++ b/math/gecode/Makefile @@ -1,75 +1,75 @@ # Created by: Peter Pentchev PORTNAME= gecode DISTVERSIONPREFIX= release- DISTVERSION= 6.3.0 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org COMMENT= Generic Constraint Development Environment LICENSE= BSL MIT LICENSE_COMB= multi NOT_FOR_ARCHS= aarch64 armv6 armv7 mips mips64 NOT_FOR_ARCHS_REASON= needs code written to specify rounding control mechanism in Boost.Numeric.Interval USES= bison:alias compiler:c++11-lang gmake perl5 USE_PERL5= build USE_LDCONFIG= yes GNU_CONFIGURE= yes CONFIGURE_ARGS= --disable-examples USE_GITHUB= yes GH_ACCOUNT= Gecode -GH_TAGNAME= ad52315 # 6.3.0 branch is ready for a long time, but hasn't been tagged yet +GH_TAGNAME= 0916a1a # 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 OPTIONS_DEFINE= AUDIT CBS FLATZINC GIST PEAKHEAP PROFILE SEARCH OPTIONS_DEFAULT= CBS FLATZINC SEARCH OPTIONS_SUB= yes AUDIT_DESC= Build with auditing code AUDIT_CONFIGURE_ENABLE= audit CBS_DESC= Support for counting-based search CBS_CONFIGURE_ENABLE= cbs FLATZINC_DESC= Build FlatZinc interpreter FLATZINC_CONFIGURE_ENABLE= flatzinc GIST_DESC= Enable gist, graphical and interactive search tool GIST_CONFIGURE_ENABLE= gist qt GIST_USES= gl qt:5 GIST_USE= gl=gl qt=core,gui,printsupport,widgets,qmake_build,buildtools_build PEAKHEAP_DESC= Peak heap size tracking PEAKHEAP_CONFIGURE_ENABLE= peakheap PROFILE_DESC= Build with profiling information PROFILE_CONFIGURE_ENABLE= profile SEARCH_DESC= Build search engines SEARCH_CONFIGURE_ENABLE= search TEST_TARGET= check post-install: ${STRIP_CMD} \ ${STAGEDIR}${PREFIX}/lib/lib*.so.*.* post-install-FLATZINC-on: @${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/fzn-gecode post-install-FLATZINC-off: # https://github.com/Gecode/gecode/issues/108 @cd ${STAGEDIR}${PREFIX} && ${RMDIR} share/minizinc/gecode share/minizinc/solvers share/minizinc test-extended: stage # breaks, see https://github.com/Gecode/gecode/issues/109 @cd ${WRKSRC} && \ ${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} test && \ LD_LIBRARY_PATH=${STAGEDIR}${PREFIX}/lib ./test/test -test -Float .include diff --git a/math/gecode/distinfo b/math/gecode/distinfo index c429a6f6d278..a2f2e48fb60a 100644 --- a/math/gecode/distinfo +++ b/math/gecode/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1621190316 -SHA256 (Gecode-gecode-release-6.3.0-ad52315_GH0.tar.gz) = 9877c4733f541cb3927f989fd964146cda65fedd03b74c5eac1555322936aaca -SIZE (Gecode-gecode-release-6.3.0-ad52315_GH0.tar.gz) = 5727084 +TIMESTAMP = 1621712428 +SHA256 (Gecode-gecode-release-6.3.0-0916a1a_GH0.tar.gz) = aa70f416acfee470b92ef08bc435a469ed2d3828c532797521bf5e249786ec6c +SIZE (Gecode-gecode-release-6.3.0-0916a1a_GH0.tar.gz) = 5727356