Index: head/math/gringo/Makefile
===================================================================
--- head/math/gringo/Makefile	(revision 475408)
+++ head/math/gringo/Makefile	(revision 475409)
@@ -1,35 +1,34 @@
 # Created by: Vsevolod Stakhov <vsevolod@FreeBSD.org>
 # $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
 
 PLIST_FILES=	bin/${PORTNAME} bin/clingo
 
 do-install:
 	${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/build/debug/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
 	${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/build/debug/clingo ${STAGEDIR}${PREFIX}/bin/clingo
 
 .include <bsd.port.mk>
Index: head/math/gringo/distinfo
===================================================================
--- head/math/gringo/distinfo	(revision 475408)
+++ head/math/gringo/distinfo	(revision 475409)
@@ -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
Index: head/math/gringo/pkg-descr
===================================================================
--- head/math/gringo/pkg-descr	(revision 475408)
+++ head/math/gringo/pkg-descr	(revision 475409)
@@ -1,6 +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/
+WWW: https://potassco.org/