svn commit: r518989 - in head/math: . cadical cadical/files
Yuri Victorovich
yuri at FreeBSD.org
Wed Dec 4 05:50:52 UTC 2019
Author: yuri
Date: Wed Dec 4 05:50:51 2019
New Revision: 518989
URL: https://svnweb.freebsd.org/changeset/ports/518989
Log:
New port: math/cadical: Simple CDCL satisfiability solver
Added:
head/math/cadical/
head/math/cadical/Makefile (contents, props changed)
head/math/cadical/distinfo (contents, props changed)
head/math/cadical/files/
head/math/cadical/files/patch-configure (contents, props changed)
head/math/cadical/pkg-descr (contents, props changed)
Modified:
head/math/Makefile
Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile Wed Dec 4 05:31:55 2019 (r518988)
+++ head/math/Makefile Wed Dec 4 05:50:51 2019 (r518989)
@@ -156,6 +156,7 @@
SUBDIR += bsdnt
SUBDIR += btor2tools
SUBDIR += cadabra2
+ SUBDIR += cadical
SUBDIR += calc
SUBDIR += calcoo
SUBDIR += calctool
Added: head/math/cadical/Makefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/cadical/Makefile Wed Dec 4 05:50:51 2019 (r518989)
@@ -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 at 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>
Added: head/math/cadical/distinfo
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/cadical/distinfo Wed Dec 4 05:50:51 2019 (r518989)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1575437337
+SHA256 (cadical-1.0.3-cb89cbf.tar.xz) = d73879c649c8a7e685bec00f8bbdd0fa64cd325bb4c2a9e30b1b113043b703eb
+SIZE (cadical-1.0.3-cb89cbf.tar.xz) = 340116
Added: head/math/cadical/files/patch-configure
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/cadical/files/patch-configure Wed Dec 4 05:50:51 2019 (r518989)
@@ -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
Added: head/math/cadical/pkg-descr
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/cadical/pkg-descr Wed Dec 4 05:50:51 2019 (r518989)
@@ -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/
More information about the svn-ports-all
mailing list