Modified: trunk/dports/math/gringo/Portfile (144136 => 144137)

--- trunk/dports/math/gringo/Portfile	2016-01-03 00:15:10 UTC (rev 144136)
+++ trunk/dports/math/gringo/Portfile	2016-01-03 03:06:20 UTC (rev 144137)
@@ -5,6 +5,7 @@
 
 name                gringo
 version             4.5.4
+revision            1
 categories          math devel
 platforms           darwin
 maintainers         mww openmaintainer
@@ -33,6 +34,8 @@
 
 variant universal {}
 
+patchfiles          patch-SConstruct.diff
+
 build.cmd           ${prefix}/bin/scons
 build.target        gringo clingo reify
 build.args          --build-dir=release \