3 files changed, 0 insertions, 41 deletions
diff --git a/math/gringo/files/patch-SConscript b/math/gringo/files/patch-SConscript
deleted file mode 100644
index ca548bd49f60..000000000000
--- a/math/gringo/files/patch-SConscript
+++ /dev/null
@@ -1,11 +0,0 @@
---- SConscript.orig	2015-08-17 12:39:49 UTC
-+++ SConscript
-@@ -202,7 +202,7 @@ if env['WITH_LUA'] == "auto":
-     if conf.CheckWithPkgConfig("lua", ["lua", "lua5.1", "lua-5.1", "lua5.2", "lua-5.2", "lua5.3", "lua-5.3"]):
-         with_lua = True
-         DEFS["WITH_LUA"] = 1
--elif env['WITH_LUA']:
-+elif env['WITH_LUA'] != "no":
-     if not conf.CheckLibs("lua", env['WITH_LUA'], "lua.hpp"):
-         failure = True
-     else:
diff --git a/math/gringo/files/patch-SConstruct b/math/gringo/files/patch-SConstruct
deleted file mode 100644
index 3d488727f4f8..000000000000
--- a/math/gringo/files/patch-SConstruct
+++ /dev/null
@@ -1,20 +0,0 @@
---- SConstruct.orig	2015-07-13 17:25:17 UTC
-+++ SConstruct
-@@ -19,7 +19,7 @@
- 
- # }}}
- 
--from os import mkdir
-+from os import mkdir, environ
- from os.path import join, exists
- 
- if not exists("build"): mkdir("build")
-@@ -52,7 +52,7 @@ opts.AddVariables(
-     ('WITH_CPPUNIT'  , 'enable target test, running unit tests using cppunit; None, "auto", or library name or test'),
-     )
- 
--env = Environment()
-+env = Environment(ENV = environ)
- env['BISON']          = 'bison'
- env['RE2C']           = 're2c'
- env['CXX']            = 'g++'
diff --git a/math/gringo/files/patch-libgringo_src_term.cc b/math/gringo/files/patch-libgringo_src_term.cc
deleted file mode 100644
index eb0e5fcaf30a..000000000000
--- a/math/gringo/files/patch-libgringo_src_term.cc
+++ /dev/null
@@ -1,10 +0,0 @@
---- libgringo/src/term.cc.orig	2018-09-25 16:02:56 UTC
-+++ libgringo/src/term.cc
-@@ -21,6 +21,7 @@
- #include "gringo/term.hh"
- #include "gringo/logger.hh"
- #include "gringo/graph.hh"
-+#include <cmath>
- 
- namespace Gringo {
-