svn commit: r517713 - in head/math: . clingo

[Yuri Victorovich]

Author: yuri
Date: Sat Nov 16 03:56:37 2019
New Revision: 517713
URL: https://svnweb.freebsd.org/changeset/ports/517713

Log:
  New port: math/clingo: Grounder and solver for logic programs

Added:
  head/math/clingo/
  head/math/clingo/Makefile   (contents, props changed)
  head/math/clingo/distinfo   (contents, props changed)
  head/math/clingo/pkg-descr   (contents, props changed)
  head/math/clingo/pkg-plist   (contents, props changed)
Modified:
  head/math/Makefile

Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile	Fri Nov 15 23:39:01 2019	(r517712)
+++ head/math/Makefile	Sat Nov 16 03:56:37 2019	(r517713)
@@ -172,6 +172,7 @@
     SUBDIR += clblas
     SUBDIR += clblast
     SUBDIR += clfft
+    SUBDIR += clingo
     SUBDIR += cln
     SUBDIR += cloog
     SUBDIR += clp

Added: head/math/clingo/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/clingo/Makefile	Sat Nov 16 03:56:37 2019	(r517713)
@@ -0,0 +1,25 @@
+# $FreeBSD$
+
+PORTNAME=	clingo
+DISTVERSIONPREFIX=	v
+DISTVERSION=	5.4.0
+CATEGORIES=	math
+
+MAINTAINER=	yuri at FreeBSD.org
+COMMENT=	Grounder and solver for logic programs
+
+LICENSE=	MIT
+LICENSE_FILE=	${WRKSRC}/LICENSE.md
+
+BUILD_DEPENDS=	re2c:devel/re2c
+
+USES=		cmake
+USE_GITHUB=	yes
+GH_ACCOUNT=	potassco
+GH_TUPLE=	potassco:clasp:c183473:clasp/clasp
+USE_LDCONFIG=	yes
+
+CMAKE_OFF=	CLINGO_BUILD_WITH_PYTHON # broken, see https://github.com/potassco/clingo/issues/178
+CMAKE_OFF+=	CLINGO_BUILD_WITH_LUA
+
+.include <bsd.port.mk>

Added: head/math/clingo/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/clingo/distinfo	Sat Nov 16 03:56:37 2019	(r517713)
@@ -0,0 +1,5 @@
+TIMESTAMP = 1573875509
+SHA256 (potassco-clingo-v5.4.0_GH0.tar.gz) = e2de331ee0a6d254193aab5995338a621372517adcf91568092be8ac511c18f3
+SIZE (potassco-clingo-v5.4.0_GH0.tar.gz) = 2822810
+SHA256 (potassco-clasp-c183473_GH0.tar.gz) = 04e9660309832a0c7627970fce605b3da8755858f33d39b6e132ad62eaa126db
+SIZE (potassco-clasp-c183473_GH0.tar.gz) = 621447

Added: head/math/clingo/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/clingo/pkg-descr	Sat Nov 16 03:56:37 2019	(r517713)
@@ -0,0 +1,5 @@
+Answer Set Programming (ASP) offers a simple and powerful modeling language to
+solve combinatorial problems. With these tools users can concentrate on an
+actual problem, rather than a smart way of implementing it.
+
+WWW: https://potassco.org/

Added: head/math/clingo/pkg-plist
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/clingo/pkg-plist	Sat Nov 16 03:56:37 2019	(r517713)
@@ -0,0 +1,14 @@
+bin/clasp
+bin/clingo
+bin/gringo
+bin/lpconvert
+bin/reify
+include/clingo.h
+include/clingo.hh
+lib/cmake/Clingo/ClingoConfig.cmake
+lib/cmake/Clingo/ClingoConfigVersion.cmake
+lib/cmake/Clingo/ClingoTargets-%%CMAKE_BUILD_TYPE%%.cmake
+lib/cmake/Clingo/ClingoTargets.cmake
+lib/libclingo.so
+lib/libclingo.so.3
+lib/libclingo.so.3.0