diff options
| -rw-r--r-- | math/bitwuzla/Makefile | 2 | ||||
| -rw-r--r-- | math/boolector/Makefile | 3 | ||||
| -rw-r--r-- | math/cadical/Makefile | 15 |
3 files changed, 16 insertions, 4 deletions
diff --git a/math/bitwuzla/Makefile b/math/bitwuzla/Makefile index 47794503573c..51f72c7d8f09 100644 --- a/math/bitwuzla/Makefile +++ b/math/bitwuzla/Makefile @@ -21,6 +21,8 @@ USES= compiler:c++17-lang localbase:ldflags meson pkgconfig python:build USE_GITHUB= yes USE_LDCONFIG= yes +CFLAGS+= -I${LOCALBASE}/include/cadical +CXXFLAGS+= -I${LOCALBASE}/include/cadical LDFLAGS+= -lcadical MESON_ARGS= -Ddefault_library=shared \ diff --git a/math/boolector/Makefile b/math/boolector/Makefile index 4d654fa79dbf..f29a3ee06388 100644 --- a/math/boolector/Makefile +++ b/math/boolector/Makefile @@ -28,6 +28,9 @@ GH_ACCOUNT= Boolector SHEBANG_GLOB= *.sh +CFLAGS+= -I${LOCALBASE}/include/cadical +CXXFLAGS+= -I${LOCALBASE}/include/cadical + CMAKE_ON= BUILD_SHARED_LIBS \ USE_GMP CMAKE_OFF= TESTING diff --git a/math/cadical/Makefile b/math/cadical/Makefile index 01262dfc3416..87a7893a07af 100644 --- a/math/cadical/Makefile +++ b/math/cadical/Makefile @@ -1,6 +1,7 @@ PORTNAME= cadical DISTVERSIONPREFIX= rel- DISTVERSION= 2.1.3 +PORTREVISION= 1 CATEGORIES= math devel MAINTAINER= yuri@FreeBSD.org @@ -20,6 +21,9 @@ GNU_CONFIGURE= yes MAKEFILE= makefile +CFLAGS+= -I${LOCALBASE}/include/cadical +CXXFLAGS+= -I${LOCALBASE}/include/cadical + BINARY_ALIAS= make=${GMAKE} EXES= cadical mobical @@ -27,8 +31,9 @@ EXES= cadical mobical TEST_TARGET= test PLIST_FILES= ${EXES:S/^/bin\//} \ - include/cadical.hpp \ - include/ccadical.h \ + include/cadical/cadical.hpp \ + include/cadical/ccadical.h \ + include/cadical/tracer.hpp \ lib/libcadical.a \ lib/libcadical.so \ lib/libcadical.so.${DISTVERSION} @@ -47,8 +52,10 @@ do-install: # workaround for https://github.com/arminbiere/cadical/issues/49 .for e in ${EXES} ${INSTALL_PROGRAM} ${WRKSRC}/build/${e} ${STAGEDIR}${PREFIX}/bin .endfor - ${INSTALL_DATA} ${WRKSRC}/src/cadical.hpp ${STAGEDIR}${PREFIX}/include - ${INSTALL_DATA} ${WRKSRC}/src/ccadical.h ${STAGEDIR}${PREFIX}/include + ${MKDIR} ${STAGEDIR}${PREFIX}/include/cadical + ${INSTALL_DATA} ${WRKSRC}/src/cadical.hpp ${STAGEDIR}${PREFIX}/include/cadical + ${INSTALL_DATA} ${WRKSRC}/src/ccadical.h ${STAGEDIR}${PREFIX}/include/cadical + ${INSTALL_DATA} ${WRKSRC}/src/tracer.hpp ${STAGEDIR}${PREFIX}/include/cadical ${INSTALL_DATA} ${WRKSRC}/build/libcadical.a ${STAGEDIR}${PREFIX}/lib ${INSTALL_LIB} ${WRKSRC}/build/libcadical.so.${DISTVERSION} ${STAGEDIR}${PREFIX}/lib cd ${STAGEDIR}${PREFIX}/lib && ${LN} -s libcadical.so.${DISTVERSION} libcadical.so |