From owner-svn-ports-all@freebsd.org Wed Dec 4 05:50:52 2019 Return-Path: Delivered-To: svn-ports-all@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 7DC551CA192; Wed, 4 Dec 2019 05:50:52 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 47SSd82kqnz4R8b; Wed, 4 Dec 2019 05:50:52 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4115A238B5; Wed, 4 Dec 2019 05:50:52 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id xB45oqGe054395; Wed, 4 Dec 2019 05:50:52 GMT (envelope-from yuri@FreeBSD.org) Received: (from yuri@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id xB45opdn054391; Wed, 4 Dec 2019 05:50:51 GMT (envelope-from yuri@FreeBSD.org) Message-Id: <201912040550.xB45opdn054391@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: yuri set sender to yuri@FreeBSD.org using -f From: Yuri Victorovich Date: Wed, 4 Dec 2019 05:50:51 +0000 (UTC) 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 X-SVN-Group: ports-head X-SVN-Commit-Author: yuri X-SVN-Commit-Paths: in head/math: . cadical cadical/files X-SVN-Commit-Revision: 518989 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 04 Dec 2019 05:50:52 -0000 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 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/