svn commit: r475409 - head/math/gringo

[Yuri Victorovich]

Author: yuri
Date: Fri Jul 27 04:37:40 2018
New Revision: 475409
URL: https://svnweb.freebsd.org/changeset/ports/475409

Log:
  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 at yandex.com>
  Approved by:	vsevolod at FreeBSD.org (maintainer's timeout 6.5 months)

Modified:
  head/math/gringo/Makefile
  head/math/gringo/distinfo
  head/math/gringo/pkg-descr

Modified: head/math/gringo/Makefile
==============================================================================
--- head/math/gringo/Makefile	Fri Jul 27 04:34:47 2018	(r475408)
+++ head/math/gringo/Makefile	Fri Jul 27 04:37:40 2018	(r475409)
@@ -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 at FreeBSD.org
+MAINTAINER=	ports at 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

Modified: head/math/gringo/distinfo
==============================================================================
--- head/math/gringo/distinfo	Fri Jul 27 04:34:47 2018	(r475408)
+++ head/math/gringo/distinfo	Fri Jul 27 04:37:40 2018	(r475409)
@@ -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

Modified: head/math/gringo/pkg-descr
==============================================================================
--- head/math/gringo/pkg-descr	Fri Jul 27 04:34:47 2018	(r475408)
+++ head/math/gringo/pkg-descr	Fri Jul 27 04:37:40 2018	(r475409)
@@ -3,4 +3,4 @@ needed that, given an input program with first-order v
 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/