diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-27 04:37:40 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-27 04:37:40 +0000 |
commit | 7443d345f949537b283651337749ce3d578fbc98 (patch) | |
tree | 715db2596aa22a9b7f32af48e6eaec7b5b623656 /math/gringo | |
parent | b26848d193a3af13d1903ccd9ae7a971b51498a6 (diff) | |
download | ports-7443d345f949537b283651337749ce3d578fbc98.tar.gz ports-7443d345f949537b283651337749ce3d578fbc98.zip |
math/gringo: Update 4.5.2 -> 4.5.4
Port changes:
* Maintainer reset based on 6.5 months timeout
* Use DISTVERSION
* Add LICENSE_FILE
* Add USES=python:2.7
* Remove '+' from '+=' where they aren't needed
* Update WWW to anew address
PR: 225131
Submitted by: Nathan <ndowens.fbsd@yandex.com>
Approved by: vsevolod@FreeBSD.org (maintainer's timeout 6.5 months)
Notes
Notes:
svn path=/head/; revision=475409
Diffstat (limited to 'math/gringo')
-rw-r--r-- | math/gringo/Makefile | 13 | ||||
-rw-r--r-- | math/gringo/distinfo | 5 | ||||
-rw-r--r-- | math/gringo/pkg-descr | 2 |
3 files changed, 10 insertions, 10 deletions
diff --git a/math/gringo/Makefile b/math/gringo/Makefile index 501500eb1d1e..bef68dc70399 100644 --- a/math/gringo/Makefile +++ b/math/gringo/Makefile @@ -2,26 +2,25 @@ # $FreeBSD$ PORTNAME= gringo -PORTVERSION= 4.5.2 -PORTREVISION= 2 +DISTVERSION= 4.5.4 DISTVERSIONSUFFIX= -source CATEGORIES= math devel MASTER_SITES= SOURCEFORGE/potassco/${PORTNAME}/${PORTVERSION} -MAINTAINER= vsevolod@FreeBSD.org +MAINTAINER= ports@FreeBSD.org COMMENT= Grounding algorithm based on semi-naive database evaluation LICENSE= GPLv3 +LICENSE_FILE= ${WRKSRC}/COPYING BUILD_DEPENDS= re2c:devel/re2c BROKEN_powerpc64= fails to compile: term.cc: error: pow is not a member of std -USES= bison compiler:c++11-lib scons - -MAKE_ARGS+= ${MAKE_ENV} +USES= bison compiler:c++11-lib python:2.7 scons +MAKE_ARGS= ${MAKE_ENV} CXXFLAGS+= -std=c++11 -MAKE_ENV+= WITH_LUA=no +MAKE_ENV= WITH_LUA=no # Unhide std::to_string() with GCC < 4.9 (ports/193528) CXXFLAGS+= -D_GLIBCXX_USE_C99 diff --git a/math/gringo/distinfo b/math/gringo/distinfo index ea91f342d51b..ea7b46341f2b 100644 --- a/math/gringo/distinfo +++ b/math/gringo/distinfo @@ -1,2 +1,3 @@ -SHA256 (gringo-4.5.2-source.tar.gz) = 36d86321c54499cabf498dac0923b39e43c7a248919224a11c2d15e4ecec9d65 -SIZE (gringo-4.5.2-source.tar.gz) = 1674048 +TIMESTAMP = 1532665392 +SHA256 (gringo-4.5.4-source.tar.gz) = 81f8bbbb1b06236778028e5f1b8627ee38a712ec708724112fb08aecf9bc649a +SIZE (gringo-4.5.4-source.tar.gz) = 1677479 diff --git a/math/gringo/pkg-descr b/math/gringo/pkg-descr index 8bf206b69cce..fed7edffef2f 100644 --- a/math/gringo/pkg-descr +++ b/math/gringo/pkg-descr @@ -3,4 +3,4 @@ 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/ +WWW: https://potassco.org/ |