diff options
| author | Vsevolod Stakhov <vsevolod@FreeBSD.org> | 2014-01-10 14:31:26 +0000 |
|---|---|---|
| committer | Vsevolod Stakhov <vsevolod@FreeBSD.org> | 2014-01-10 14:31:26 +0000 |
| commit | 2564e97f9e0a5d38064ca826dc109521de198eaa (patch) | |
| tree | eaecccbc483d176d0c0e5bbf46661dd07ee8532d /math | |
| parent | e0702bc4e732e66f962ece63f3067dd08c16508d (diff) | |
| download | ports-2564e97f9e0a5d38064ca826dc109521de198eaa.tar.gz ports-2564e97f9e0a5d38064ca826dc109521de198eaa.zip | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/Makefile | 1 | ||||
| -rw-r--r-- | math/gringo/Makefile | 27 | ||||
| -rw-r--r-- | math/gringo/distinfo | 2 | ||||
| -rw-r--r-- | math/gringo/pkg-descr | 6 |
4 files changed, 36 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile index 71fac62869d6..99b9668e930c 100644 --- a/math/Makefile +++ b/math/Makefile @@ -159,6 +159,7 @@ SUBDIR += graphthing SUBDIR += gretl SUBDIR += gri + SUBDIR += gringo SUBDIR += grpn SUBDIR += gsl SUBDIR += hs-Agda diff --git a/math/gringo/Makefile b/math/gringo/Makefile new file mode 100644 index 000000000000..674f5b93e2fe --- /dev/null +++ b/math/gringo/Makefile @@ -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> diff --git a/math/gringo/distinfo b/math/gringo/distinfo new file mode 100644 index 000000000000..fa1008fbabed --- /dev/null +++ b/math/gringo/distinfo @@ -0,0 +1,2 @@ +SHA256 (gringo-4.2.1-source.tar.gz) = 24da7958ca6c4f41a3df43ca786059926057289d5f01bfd22e6d9483977c0581 +SIZE (gringo-4.2.1-source.tar.gz) = 615728 diff --git a/math/gringo/pkg-descr b/math/gringo/pkg-descr new file mode 100644 index 000000000000..8bf206b69cce --- /dev/null +++ b/math/gringo/pkg-descr @@ -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/ |