blob: c4a440ce538b6ff2ad1e5e4c0841cba1144456e4 (
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
|
PORTNAME= cadical
DISTVERSION= 1.0.3
DISTVERSIONSUFFIX= -cb89cbf
PORTREVISION= 1
CATEGORIES= math devel
MASTER_SITES= http://fmv.jku.at/${PORTNAME}/
MAINTAINER= yuri@FreeBSD.org
COMMENT= Simple CDCL satisfiability solver
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENSE
USES= compiler:c++0x gmake tar:xz
GNU_CONFIGURE= yes
CXXFLAGS+= -fPIC
MAKEFILE= makefile
BINARY_ALIAS= make=${GMAKE}
EXES= cadical mobical
PLIST_FILES= ${EXES:S/^/bin\//} \
include/ccadical.h \
lib/libcadical.a
do-install:
.for e in ${EXES}
${INSTALL_PROGRAM} ${WRKSRC}/build/${e} ${STAGEDIR}${PREFIX}/bin
.endfor
${INSTALL_DATA} ${WRKSRC}/src/ccadical.h ${STAGEDIR}${PREFIX}/include
${INSTALL_DATA} ${WRKSRC}/build/libcadical.a ${STAGEDIR}${PREFIX}/lib
.include <bsd.port.mk>
|
