diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2019-12-04 05:50:51 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2019-12-04 05:50:51 +0000 |
| commit | 8e6daedcfc1411b911e2af015e2e0a84ffbb9c71 (patch) | |
| tree | 162515d233b1ea8d81a5b58c691b5a8430fa7bea /math/cadical | |
| parent | 451c74c78174cdc50d667ba2549bceef1dcee74b (diff) | |
| download | ports-8e6daedcfc1411b911e2af015e2e0a84ffbb9c71.tar.gz ports-8e6daedcfc1411b911e2af015e2e0a84ffbb9c71.zip | |
Notes
Diffstat (limited to 'math/cadical')
| -rw-r--r-- | math/cadical/Makefile | 35 | ||||
| -rw-r--r-- | math/cadical/distinfo | 3 | ||||
| -rw-r--r-- | math/cadical/files/patch-configure | 11 | ||||
| -rw-r--r-- | math/cadical/pkg-descr | 4 |
4 files changed, 53 insertions, 0 deletions
diff --git a/math/cadical/Makefile b/math/cadical/Makefile new file mode 100644 index 000000000000..e472e668ce4a --- /dev/null +++ b/math/cadical/Makefile @@ -0,0 +1,35 @@ +# $FreeBSD$ + +PORTNAME= cadical +DISTVERSION= 1.0.3 +DISTVERSIONSUFFIX= -cb89cbf +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= gmake tar:xz +GNU_CONFIGURE= yes + +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> diff --git a/math/cadical/distinfo b/math/cadical/distinfo new file mode 100644 index 000000000000..5d02fcde86ad --- /dev/null +++ b/math/cadical/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1575437337 +SHA256 (cadical-1.0.3-cb89cbf.tar.xz) = d73879c649c8a7e685bec00f8bbdd0fa64cd325bb4c2a9e30b1b113043b703eb +SIZE (cadical-1.0.3-cb89cbf.tar.xz) = 340116 diff --git a/math/cadical/files/patch-configure b/math/cadical/files/patch-configure new file mode 100644 index 000000000000..ef98a7130c3c --- /dev/null +++ b/math/cadical/files/patch-configure @@ -0,0 +1,11 @@ +--- configure.orig 2019-12-04 05:29:57 UTC ++++ configure +@@ -154,7 +154,7 @@ do + CXXFLAGS="`expr \"$1\" : 'CXXFLAGS=\(.*\)'`" + ;; + +- *) die "invalid option '$1' (try '-h')";; ++ *) ;; + + esac + shift diff --git a/math/cadical/pkg-descr b/math/cadical/pkg-descr new file mode 100644 index 000000000000..8b04f0f6c959 --- /dev/null +++ b/math/cadical/pkg-descr @@ -0,0 +1,4 @@ +The goal of CaDiCaL is to provide a clean and efficient state-of-the-art CDCL +solver, which is also easy to understand and change. + +WWW: http://fmv.jku.at/cadical/ |