Date: Fri, 27 Jul 2018 04:37:40 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r475409 - head/math/gringo Message-ID: <201807270437.w6R4besT087262@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@yandex.com> Approved by: vsevolod@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@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 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/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201807270437.w6R4besT087262>