From owner-svn-ports-all@FreeBSD.ORG Fri Jan 24 15:44:33 2014 Return-Path: Delivered-To: svn-ports-all@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 99D48A5F; Fri, 24 Jan 2014 15:44:33 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id 860151993; Fri, 24 Jan 2014 15:44:33 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.7/8.14.7) with ESMTP id s0OFiXwx099912; Fri, 24 Jan 2014 15:44:33 GMT (envelope-from vsevolod@svn.freebsd.org) Received: (from vsevolod@localhost) by svn.freebsd.org (8.14.7/8.14.7/Submit) id s0OFiXLM099911; Fri, 24 Jan 2014 15:44:33 GMT (envelope-from vsevolod@svn.freebsd.org) Message-Id: <201401241544.s0OFiXLM099911@svn.freebsd.org> From: Vsevolod Stakhov Date: Fri, 24 Jan 2014 15:44:33 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r340913 - head/math/gringo X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.17 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 24 Jan 2014 15:44:33 -0000 Author: vsevolod Date: Fri Jan 24 15:44:33 2014 New Revision: 340913 URL: http://svnweb.freebsd.org/changeset/ports/340913 QAT: https://qat.redports.org/buildarchive/r340913/ Log: - Unbreak on FreeBSD < 10 - Disable lua support as it is terribly broken - Add license - Update portrevision accordingly Modified: head/math/gringo/Makefile Modified: head/math/gringo/Makefile ============================================================================== --- head/math/gringo/Makefile Fri Jan 24 15:43:44 2014 (r340912) +++ head/math/gringo/Makefile Fri Jan 24 15:44:33 2014 (r340913) @@ -4,6 +4,7 @@ PORTNAME= gringo PORTVERSION= 4.2.1 DISTVERSIONSUFFIX= -source +PORTREVISION= 1 CATEGORIES= math devel MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= potassco/${PORTNAME}/${PORTVERSION} @@ -11,17 +12,24 @@ MASTER_SITE_SUBDIR= potassco/${PORTNAME} MAINTAINER= vsevolod@FreeBSD.org COMMENT= Grounding algorithm based on semi-naive database evaluation +LICENSE= GPLv3 + BUILD_DEPENDS= re2c:${PORTSDIR}/devel/re2c -USES= scons lua:51+ bison +USES= scons bison -MAKE_ARGS+= ${MAKE_ENV} WITH_LUA="lua-${LUA_VER}" -CXXFLAGS+= -std=c++11 -I${LUA_INCDIR} -LDFLAGS+= -L${LUA_LIBDIR} +MAKE_ARGS+= ${MAKE_ENV} +CXXFLAGS+= -std=c++11 PLIST_FILES= bin/${PORTNAME} +.include + +.if ${OSVERSION} < 1000000 +USE_GCC= 4.8+ +.endif + do-install: ${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/build/release/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME} -.include +.include