Date: Mon, 3 May 2021 18:59:10 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: 6ae00aea2cdb - main - New port: math/chuffed: Lazy clause generation CP solver for MiniZinc Message-ID: <202105031859.143IxAgb028037@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=6ae00aea2cdbffa61b2a70d222d6d453e50cd9fb commit 6ae00aea2cdbffa61b2a70d222d6d453e50cd9fb Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2021-05-03 18:48:29 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2021-05-03 18:59:07 +0000 New port: math/chuffed: Lazy clause generation CP solver for MiniZinc --- math/Makefile | 1 + math/chuffed/Makefile | 30 ++++++++++++++++++++++++++++++ math/chuffed/distinfo | 5 +++++ math/chuffed/pkg-descr | 3 +++ math/chuffed/pkg-plist | 28 ++++++++++++++++++++++++++++ 5 files changed, 67 insertions(+) diff --git a/math/Makefile b/math/Makefile index bfa68868a903..c8a77c380365 100644 --- a/math/Makefile +++ b/math/Makefile @@ -185,6 +185,7 @@ SUBDIR += cglm SUBDIR += chaco SUBDIR += chryzodus + SUBDIR += chuffed SUBDIR += clasp SUBDIR += clblas SUBDIR += clblast diff --git a/math/chuffed/Makefile b/math/chuffed/Makefile new file mode 100644 index 000000000000..218e4b15bc49 --- /dev/null +++ b/math/chuffed/Makefile @@ -0,0 +1,30 @@ +PORTNAME= chuffed +DISTVERSION= 0.10.4 +CATEGORIES= math + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Lazy clause generation CP solver for MiniZinc + +LICENSE= MIT +LICENSE_FILE= ${WRKSRC}/LICENSE + +USES= bison cmake compiler:c++11-lang +USE_GITHUB= yes + +GH_TUPLE= cp-profiler:cpp-integration:d695d93:cpi/submodules/cp-profiler-integration + +CXXFLAGS+= -I${BUILD_WRKSRC}/chuffed/flatzinc # workaround for: fatal error: 'parser.tab.h' file not found, see https://github.com/chuffed/chuffed/issues/75 + +post-patch: # workaround for: unknown symbol YYEMPTY: wrong parser.tab.h is used by the build, see https://github.com/chuffed/chuffed/issues/75 + @${RM} ${WRKSRC}/chuffed/flatzinc/parser.tab.h + +post-install: + # move the msc file where MiniZinc looks for it, see https://github.com/chuffed/chuffed/issues/74 + cd ${STAGEDIR}${PREFIX} && \ + ${MKDIR} share/minizinc/solvers && \ + ${MV} chuffed.msc share/minizinc/solvers + # adjust mzn executable and lib paths for MiniZinc to find them + ${REINPLACE_CMD} -i '' -e 's|bin/|${PREFIX}/&| ; s|share/chuffed/|${PREFIX}/&|' \ + ${STAGEDIR}${PREFIX}/share/minizinc/solvers/chuffed.msc + +.include <bsd.port.mk> diff --git a/math/chuffed/distinfo b/math/chuffed/distinfo new file mode 100644 index 000000000000..d420e4c6986a --- /dev/null +++ b/math/chuffed/distinfo @@ -0,0 +1,5 @@ +TIMESTAMP = 1620064310 +SHA256 (chuffed-chuffed-0.10.4_GH0.tar.gz) = f7e7028d5a6b0d936f39d33e1e70ff71ccd34e39a5728928699132b213e52fde +SIZE (chuffed-chuffed-0.10.4_GH0.tar.gz) = 308901 +SHA256 (cp-profiler-cpp-integration-d695d93_GH0.tar.gz) = ff556f0fcbdf4e438226c070bdf41e04b584bd193501b8882c6a1de8d4756ea9 +SIZE (cp-profiler-cpp-integration-d695d93_GH0.tar.gz) = 403484 diff --git a/math/chuffed/pkg-descr b/math/chuffed/pkg-descr new file mode 100644 index 000000000000..356459fc8be7 --- /dev/null +++ b/math/chuffed/pkg-descr @@ -0,0 +1,3 @@ +The Chuffed CP solver backend for the MiniZinc constraint modelling language. + +WWW: https://github.com/chuffed/chuffed diff --git a/math/chuffed/pkg-plist b/math/chuffed/pkg-plist new file mode 100644 index 000000000000..41b89998f06f --- /dev/null +++ b/math/chuffed/pkg-plist @@ -0,0 +1,28 @@ +bin/fzn-chuffed +%%DATADIR%%/mznlib/all_different_int.mzn +%%DATADIR%%/mznlib/arg_max_bool.mzn +%%DATADIR%%/mznlib/at_least_int.mzn +%%DATADIR%%/mznlib/at_most_int.mzn +%%DATADIR%%/mznlib/chuffed.mzn +%%DATADIR%%/mznlib/circuit.mzn +%%DATADIR%%/mznlib/cost_regular.mzn +%%DATADIR%%/mznlib/count.mzn +%%DATADIR%%/mznlib/cumulative.mzn +%%DATADIR%%/mznlib/disjunctive.mzn +%%DATADIR%%/mznlib/disjunctive_strict.mzn +%%DATADIR%%/mznlib/distribute.mzn +%%DATADIR%%/mznlib/exactly_int.mzn +%%DATADIR%%/mznlib/global_cardinality_low_up.mzn +%%DATADIR%%/mznlib/inverse.mzn +%%DATADIR%%/mznlib/maximum_int.mzn +%%DATADIR%%/mznlib/minimum_int.mzn +%%DATADIR%%/mznlib/nvalue.mzn +%%DATADIR%%/mznlib/redefinitions.mzn +%%DATADIR%%/mznlib/regular.mzn +%%DATADIR%%/mznlib/subcircuit.mzn +%%DATADIR%%/mznlib/table_int.mzn +%%DATADIR%%/mznlib/values_interchange.mzn +%%DATADIR%%/mznlib/values_sequences.mzn +%%DATADIR%%/mznlib/variables_interchange.mzn +%%DATADIR%%/mznlib/variables_sequences.mzn +share/minizinc/solvers/chuffed.msc
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202105031859.143IxAgb028037>