blob: e97013426b3fda3365ce84e3d756c878cab725c4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
PORTNAME= chuffed
DISTVERSION= 0.13.0
PORTREVISION= 1
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
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>
|
