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