Date: Tue, 4 May 2021 19:07: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: 8444522a9b0e - main - math/gecode: Install MiniZinc config file Message-ID: <202105041907.144J7WEO056459@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=8444522a9b0ecedd6253027300886c3a4fe0f8d2 commit 8444522a9b0ecedd6253027300886c3a4fe0f8d2 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2021-05-04 18:50:22 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2021-05-04 19:07:26 +0000 math/gecode: Install MiniZinc config file --- math/gecode/Makefile | 9 +++++++++ math/gecode/files/gecode.msc.in | 9 +++++++++ math/gecode/pkg-plist | 1 + 3 files changed, 19 insertions(+) diff --git a/math/gecode/Makefile b/math/gecode/Makefile index 0592eb768984..08ca1a287a5c 100644 --- a/math/gecode/Makefile +++ b/math/gecode/Makefile @@ -3,6 +3,7 @@ PORTNAME= gecode DISTVERSIONPREFIX= release- DISTVERSION= 6.2.0 +PORTREVISION= 1 CATEGORIES= math PATCH_SITES= https://github.com/${GH_ACCOUNT}/${PORTNAME}/commit/ @@ -28,6 +29,9 @@ GH_ACCOUNT= Gecode CMAKE_ON= BUILD_SHARED_LIBS +SUB_FILES= ${PORTNAME}.msc +SUB_LIST= PORTVERSION=${PORTVERSION} + OPTIONS_DEFINE= GIST OPTIONS_SUB= yes @@ -36,4 +40,9 @@ GIST_CMAKE_BOOL= ENABLE_GIST GIST_USES= qt:5 GIST_USE= qt=core,gui,printsupport,widgets,qmake_build,buildtools_build +post-install: # https://github.com/Gecode/gecode/issues/105 + # install MiniZinc configuration file + ${MKDIR} ${STAGEDIR}${PREFIX}/share/minizinc/solvers + ${INSTALL_DATA} ${WRKDIR}/${PORTNAME}.msc ${STAGEDIR}${PREFIX}/share/minizinc/solvers + .include <bsd.port.mk> diff --git a/math/gecode/files/gecode.msc.in b/math/gecode/files/gecode.msc.in new file mode 100644 index 000000000000..7e6cea346275 --- /dev/null +++ b/math/gecode/files/gecode.msc.in @@ -0,0 +1,9 @@ +{ + "id" : "gecode", + "name" : "Gecode", + "executable" : "%%PREFIX%%/bin/fzn-gecode", + "version": "%%PORTVERSION%%", + "mznlib": "%%DATADIR%%/mznlib", + "supportsFzn":true, + "supportsNL":false +} diff --git a/math/gecode/pkg-plist b/math/gecode/pkg-plist index 46a95ce909f3..2f638378e02c 100644 --- a/math/gecode/pkg-plist +++ b/math/gecode/pkg-plist @@ -762,3 +762,4 @@ lib/libgecodesupport.so %%DATADIR%%/mznlib/table_int.mzn %%DATADIR%%/mznlib/value_precede_int.mzn %%DATADIR%%/mznlib/value_precede_set.mzn +share/minizinc/solvers/gecode.msc
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202105041907.144J7WEO056459>