31 lines
800 B
Makefile
31 lines
800 B
Makefile
PORTNAME= chuffed
|
|
DISTVERSION= 0.14.0
|
|
CATEGORIES= math
|
|
|
|
MAINTAINER= yuri@FreeBSD.org
|
|
COMMENT= Lazy clause generation CP solver for MiniZinc
|
|
WWW= https://github.com/chuffed/chuffed
|
|
|
|
LICENSE= MIT
|
|
LICENSE_FILE= ${WRKSRC}/LICENSE
|
|
|
|
BROKEN_i386= fails to compile: error: use of overloaded operator '[]' is ambiguous (with operand types 'vec<int>' and 'int')
|
|
|
|
USES= bison cmake compiler:c++11-lang
|
|
USE_GITHUB= yes
|
|
|
|
GH_TUPLE= cp-profiler:cpp-integration:f16b313:cpi/submodules/cp-profiler-integration
|
|
|
|
CMAKE_ON= BUILD_SHARED_LIBS
|
|
|
|
CXXFLAGS+= -fPIC
|
|
|
|
DATADIR= ${PREFIX}/share/minizinc/chuffed
|
|
|
|
post-install:
|
|
# correct version in the config file
|
|
${REINPLACE_CMD} -i '' -e 's|"version": ".*",|"version": "${PORTVERSION}",|' \
|
|
${STAGEDIR}${PREFIX}/share/minizinc/solvers/chuffed.msc
|
|
|
|
.include <bsd.port.mk>
|