diff options
Diffstat (limited to 'math/cadiback/Makefile')
| -rw-r--r-- | math/cadiback/Makefile | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/math/cadiback/Makefile b/math/cadiback/Makefile new file mode 100644 index 000000000000..594109c0d317 --- /dev/null +++ b/math/cadiback/Makefile @@ -0,0 +1,51 @@ +PORTNAME= cadiback +DISTVERSION= g20240729 +PORTREVISION= 1 +CATEGORIES= math devel + +MAINTAINER= yuri@FreeBSD.org +COMMENT= CaDiBack BackBone Extractor +WWW= https://github.com/arminbiere/cadiback + +LICENSE= MIT +LICENSE_FILE= ${WRKSRC}/LICENSE + +BUILD_DEPENDS= ${NONEXISTENT}:math/cadical:patch +LIB_DEPENDS= libcadical.so:math/cadical + +USES= gmake localbase:ldflags + +USE_GITHUB= yes +GH_ACCOUNT= arminbiere +GH_TAGNAME= 789329d + +MAKEFILE= makefile + +TEST_TARGET= test + +PLIST_FILES= bin/${PORTNAME} + +do-build: + cd ${WRKSRC} && \ + ( \ + ${ECHO} "#define VERSION \"`cat VERSION`\""; \ + ${ECHO} "#define GITID \"${GH_TAGNAME}\""; \ + ${ECHO} "#define BUILD \"${CXX} -W\""; \ + ) > config.hpp && \ + ${CXX} \ + -DNDEBUG \ + ${CXXFLAGS} ${LDFLAGS} \ + -I ${WRKSRC_cadical}/src \ + cadiback.cpp \ + -I `${MAKE} -V WRKSRC -C ${PORTSDIR}/math/cadical`/src \ + -l cadical \ + -o ${PORTNAME} + +do-install: + ${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME} + +do-test: + @cd ${WRKSRC}/test && \ + ./run.sh + +.include <bsd.port.mk> |