kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

New port: math/chuffed: Lazy clause generation CP solver for MiniZinc

Browse source
This commit is contained in:
Yuri Victorovich 2021-05-03 11:48:29 -07:00
parent 1c00382ea9
commit 6ae00aea2c
5 changed files with 67 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
math/Makefile
View file

@ -185,6 +185,7 @@
SUBDIR += cglm
SUBDIR += chaco
SUBDIR += chryzodus
SUBDIR += chuffed
SUBDIR += clasp
SUBDIR += clblas
SUBDIR += clblast

30
math/chuffed/Makefile Normal file
View file

@ -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>

5
math/chuffed/distinfo Normal file
View file

@ -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

3
math/chuffed/pkg-descr Normal file
View file

@ -0,0 +1,3 @@
The Chuffed CP solver backend for the MiniZinc constraint modelling language.
WWW: https://github.com/chuffed/chuffed

28
math/chuffed/pkg-plist Normal file
View file

@ -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