Date: Fri, 10 Jan 2014 14:31:27 +0000 (UTC) From: Vsevolod Stakhov <vsevolod@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r339359 - in head/math: . gringo Message-ID: <201401101431.s0AEVR8r039444@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: vsevolod Date: Fri Jan 10 14:31:26 2014 New Revision: 339359 URL: http://svnweb.freebsd.org/changeset/ports/339359 Log: Add gringo - an advanced grounder to compute variable-free programs. Added: head/math/gringo/ head/math/gringo/Makefile (contents, props changed) head/math/gringo/distinfo (contents, props changed) head/math/gringo/pkg-descr (contents, props changed) Modified: head/math/Makefile Modified: head/math/Makefile ============================================================================== --- head/math/Makefile Fri Jan 10 14:10:44 2014 (r339358) +++ head/math/Makefile Fri Jan 10 14:31:26 2014 (r339359) @@ -159,6 +159,7 @@ SUBDIR += graphthing SUBDIR += gretl SUBDIR += gri + SUBDIR += gringo SUBDIR += grpn SUBDIR += gsl SUBDIR += hs-Agda Added: head/math/gringo/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/gringo/Makefile Fri Jan 10 14:31:26 2014 (r339359) @@ -0,0 +1,27 @@ +# Created by: Vsevolod Stakhov <vsevolod@FreeBSD.org> +# $FreeBSD$ + +PORTNAME= gringo +PORTVERSION= 4.2.1 +DISTVERSIONSUFFIX= -source +CATEGORIES= math devel +MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} +MASTER_SITE_SUBDIR= potassco/${PORTNAME}/${PORTVERSION} + +MAINTAINER= vsevolod@FreeBSD.org +COMMENT= Grounding algorithm based on semi-naive database evaluation + +BUILD_DEPENDS= re2c:${PORTSDIR}/devel/re2c + +USES= scons lua:51+ bison + +MAKE_ARGS+= ${MAKE_ENV} WITH_LUA="lua-${LUA_VER}" +CXXFLAGS+= -std=c++11 -I${LUA_INCDIR} +LDFLAGS+= -L${LUA_LIBDIR} + +PLIST_FILES= bin/${PORTNAME} + +do-install: + ${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/build/release/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME} + +.include <bsd.port.mk> Added: head/math/gringo/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/gringo/distinfo Fri Jan 10 14:31:26 2014 (r339359) @@ -0,0 +1,2 @@ +SHA256 (gringo-4.2.1-source.tar.gz) = 24da7958ca6c4f41a3df43ca786059926057289d5f01bfd22e6d9483977c0581 +SIZE (gringo-4.2.1-source.tar.gz) = 615728 Added: head/math/gringo/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/gringo/pkg-descr Fri Jan 10 14:31:26 2014 (r339359) @@ -0,0 +1,6 @@ +Current answer set solvers work on variable-free programs. Hence, a grounder is +needed that, given an input program with first-order variables, computes an +equivalent ground (variable-free) program. Gringo is such a grounder. Its +output can be processed further with clasp. + +WWW: http://potassco.sourceforge.net/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201401101431.s0AEVR8r039444>