cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

math/gringo: Update 4.5.2 -> 4.5.4

Browse Source 
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)
This commit is contained in:
Yuri Victorovich 2018-07-27 04:37:40 +00:00
parent b26848d193
commit 7443d345f9
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=475409
3 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
math/gringo/Makefile
View File

@ -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

5
math/gringo/distinfo
View File

@ -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

2
math/gringo/pkg-descr
View File

@ -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/