blob: 947f5ba7aacc479098731f5c893b2c3443f49cb0 (
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
|
PORTNAME= glucose
DISTVERSION= 4.1
PORTREVISION= 3
CATEGORIES= math
MASTER_SITES= http://www.labri.fr/perso/lsimon/downloads/softwares/
DISTNAME= glucose-syrup-${DISTVERSION}
MAINTAINER= yuri@FreeBSD.org
COMMENT= Parallel SAT solver based on Minisat, with glue clauses
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENCE
USES= compiler:c++11-lang gmake tar:tgz
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>
|
