blob: 62addb736a6cdfdc9d6bc4c213ec5beecd62b81e (
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
PORTNAME= lingeling
DISTVERSIONPREFIX= rel-
DISTVERSION= 1.0.0
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
COMMENT= Lingeling SAT Solver
WWW= http://fmv.jku.at/lingeling/
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/COPYING
USES= gmake
USE_GITHUB= yes
GH_ACCOUNT= arminbiere
BINARY_ALIAS= gcc=${CC}
EXECUTABLES= ilingeling lglddtrace lglmbt lgluntrace lingeling plingeling treengeling
CFLAGS+= -fPIC
PLIST_FILES= ${EXECUTABLES:S/^/bin\//} \
include/lglib.h \
lib/liblgl.a
do-configure:
@cd ${WRKSRC} && \
${SETENV} ${MAKE_ENV} ./configure.sh
do-build:
@cd ${WRKSRC} && \
${SETENV} ${MAKE_ENV} ${GMAKE} ${MAKE_ARGS} -j${MAKE_JOBS_NUMBER}
do-install:
.for e in ${EXECUTABLES}
${INSTALL_PROGRAM} ${WRKSRC}/${e} ${STAGEDIR}${PREFIX}/bin
.endfor
${INSTALL_DATA} ${WRKSRC}/lglib.h ${STAGEDIR}${PREFIX}/include
${INSTALL_DATA} ${WRKSRC}/liblgl.a ${STAGEDIR}${PREFIX}/lib
.include <bsd.port.mk>
|
