Modified: trunk/dports/math/gringo/Portfile (140438 => 140439)
--- trunk/dports/math/gringo/Portfile 2015-09-19 16:46:26 UTC (rev 140438)
+++ trunk/dports/math/gringo/Portfile 2015-09-19 16:48:53 UTC (rev 140439)
@@ -1,6 +1,7 @@
# $Id$
PortSystem 1.0
+PortGroup cxx 1.0
name gringo
version 4.4.0
@@ -30,10 +31,12 @@
use_configure no
use_parallel_build no
-# needs compiler with C++11 support -- currently does not build on OS X < 10.9
+variant universal {}
+
build.cmd ${prefix}/bin/scons
-build.args --build-dir=release
build.target gringo clingo
+build.args --build-dir=release \
+ CXX="${configure.cxx} [get_canonical_archflags cxx]"
destroot {
xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name} \