FreeBSD/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2026-06-02 11:08:52 +00:00
Code Issues Projects Releases Wiki Activity

math/cadical: Add one more header and move headers into the include/cadical folder

Browse Source 
because the cvc5 dependency expects them there.
This commit is contained in:
Yuri Victorovich
2025-11-04 21:56:02 -08:00
parent af2f79a0a6
commit 993547c781
3 changed files with 16 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
math/bitwuzla/Makefile
+2
View File
@@ -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 \
math/boolector/Makefile
+3
View File
@@ -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
math/cadical/Makefile
+11 -4
View File
@@ -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