git: 8444522a9b0e - main - math/gecode: Install MiniZinc config file
Yuri Victorovich
yuri at FreeBSD.org
Tue May 4 19:07:32 UTC 2021
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=8444522a9b0ecedd6253027300886c3a4fe0f8d2
commit 8444522a9b0ecedd6253027300886c3a4fe0f8d2
Author: Yuri Victorovich <yuri at FreeBSD.org>
AuthorDate: 2021-05-04 18:50:22 +0000
Commit: Yuri Victorovich <yuri at 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
More information about the dev-commits-ports-all
mailing list