From owner-svn-ports-all@FreeBSD.ORG Fri Jan 10 14:31:28 2014 Return-Path: Delivered-To: svn-ports-all@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 26EF2BB6; Fri, 10 Jan 2014 14:31:28 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id EC7AC1141; Fri, 10 Jan 2014 14:31:27 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.7/8.14.7) with ESMTP id s0AEVRNt039449; Fri, 10 Jan 2014 14:31:27 GMT (envelope-from vsevolod@svn.freebsd.org) Received: (from vsevolod@localhost) by svn.freebsd.org (8.14.7/8.14.7/Submit) id s0AEVR8r039444; Fri, 10 Jan 2014 14:31:27 GMT (envelope-from vsevolod@svn.freebsd.org) Message-Id: <201401101431.s0AEVR8r039444@svn.freebsd.org> From: Vsevolod Stakhov Date: Fri, 10 Jan 2014 14:31:27 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r339359 - in head/math: . gringo X-SVN-Group: ports-head 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.17 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: Fri, 10 Jan 2014 14:31:28 -0000 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 +# $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 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/