Date: Wed, 4 Dec 2019 05:50:51 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r518989 - in head/math: . cadical cadical/files Message-ID: <201912040550.xB45opdn054391@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201912040550.xB45opdn054391>