blob: f496d5348c73413fb227aa5bfc616561d4779bd8 (
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
|
PORTNAME= glucose
DISTVERSION= 4.2.1
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
COMMENT= Parallel SAT solver based on Minisat, with glue clauses
WWW= https://www.labri.fr/perso/lsimon/glucose/ \
https://github.com/audemard/glucose
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENSE
USES= compiler:c++11-lang gmake
USE_GITHUB= yes
GH_ACCOUNT= audemard
PLIST_FILES= bin/glucose bin/glucose-syrup
do-build:
@cd ${WRKSRC}/simp && ${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS}
@cd ${WRKSRC}/parallel && ${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS}
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/simp/glucose ${STAGEDIR}${PREFIX}/bin/
${INSTALL_PROGRAM} ${WRKSRC}/parallel/glucose-syrup ${STAGEDIR}${PREFIX}/bin/
.include <bsd.port.mk>
|
