gringo: upstream patch to build on FSF GCCs

Formula/gringo.rb

@@ -19,6 +19,10 @@ class Gringo < Formula
   fails_with :gcc
   fails_with :gcc_4_0
 
+  # Fixes missing include; fixed upstream:
+  # http://sourceforge.net/p/potassco/code/8274/tree//trunk/gringo/app/gringo/main.cc?diff=5083e8f9bfc09e133b25ad84:8273
+  patch :p3, :DATA
+
   def install
     # Allow pre-10.9 clangs to build in C++11 mode
     ENV.libcxx
@@ -29,3 +33,15 @@ class Gringo < Formula
     bin.install "build/release/gringo", "build/release/clingo"
   end
 end
+
+__END__
+--- a/trunk/gringo/app/gringo/main.cc
++++ b/trunk/gringo/app/gringo/main.cc
+@@ -33,6 +33,7 @@
+ #include <gringo/scripts.hh>
+ #include <gringo/version.hh>
+ #include <gringo/control.hh>
++#include <climits>
+ #include <iostream>
+ #include <stdexcept>
+ #include <program_opts/application.h>