| Server IP : 82.208.35.60 / Your IP : 216.73.216.238 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/math/chuffed/ |
Upload File : |
PORTNAME= chuffed
DISTVERSION= 0.10.4.20210104
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_TAGNAME= e04bedd # devel branch: only devel branch is compatible with the current MiniZinc
GH_TUPLE= cp-profiler:cpp-integration:f16b313:cpi/submodules/cp-profiler-integration
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>