mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-14 07:43:06 +00:00
ef90c63c4a
Use | instead of , in the sed command to workaround for -Wl,rpath in CXXFLAGS. MFH: 2020Q3 (fix build blanket)
39 lines
775 B
Makefile
39 lines
775 B
Makefile
# $FreeBSD$
|
|
|
|
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>
|