3 files changed, 0 insertions, 79 deletions
diff --git a/pkgs/tools/misc/gringo/default.nix b/pkgs/tools/misc/gringo/default.nix
deleted file mode 100644
index cbaa961107227..0000000000000
--- a/pkgs/tools/misc/gringo/default.nix
+++ /dev/null
@@ -1,57 +0,0 @@
-{ lib, stdenv, fetchurl,
-  bison, re2c, sconsPackages,
-  libcxx, libcxxabi
-}:
-
-stdenv.mkDerivation rec {
-  pname = "gringo";
-  version = "4.5.4";
-
-  src = fetchurl {
-    url = "mirror://sourceforge/project/potassco/gringo/${version}/gringo-${version}-source.tar.gz";
-    sha256 = "16k4pkwyr2mh5w8j91vhxh9aff7f4y31npwf09w6f8q63fxvpy41";
-  };
-
-  buildInputs = [ bison re2c sconsPackages.scons_3_1_2 ];
-
-  patches = [
-    ./gringo-4.5.4-cmath.patch
-    ./gringo-4.5.4-to_string.patch
-  ];
-
-  postPatch = lib.optionalString stdenv.isDarwin ''
-    substituteInPlace ./SConstruct \
-      --replace \
-        "env['CXX']            = 'g++'" \
-        "env['CXX']            = '$CXX'"
-
-    substituteInPlace ./SConstruct \
-      --replace \
-        "env['CPPPATH']        = []" \
-        "env['CPPPATH']        = ['${lib.getDev libcxx}/include/c++/v1']"
-
-    substituteInPlace ./SConstruct \
-      --replace \
-        "env['LIBPATH']        = []" \
-        "env['LIBPATH']        = ['${lib.getLib libcxx}/lib', '${lib.getLib libcxxabi}/lib']"
-  '' + ''
-    sed '1i#include <limits>' -i libgringo/gringo/{control,term}.hh
-  '';
-
-  buildPhase = ''
-    scons WITH_PYTHON= --build-dir=release
-  '';
-
-  installPhase = ''
-    mkdir -p $out/bin
-    cp build/release/gringo $out/bin/gringo
-  '';
-
-  meta = with lib; {
-    description = "Converts input programs with first-order variables to equivalent ground programs";
-    homepage = "http://potassco.sourceforge.net/";
-    platforms = platforms.all;
-    maintainers = [ maintainers.hakuch ];
-    license = licenses.gpl3Plus;
-  };
-}
diff --git a/pkgs/tools/misc/gringo/gringo-4.5.4-cmath.patch b/pkgs/tools/misc/gringo/gringo-4.5.4-cmath.patch
deleted file mode 100644
index 7b5510e2344b5..0000000000000
--- a/pkgs/tools/misc/gringo/gringo-4.5.4-cmath.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- gringo/libgringo/src/term.cc~	2016-07-12 23:56:10.593577749 -0400
-+++ gringo/libgringo/src/term.cc	2016-07-12 23:52:35.169968338 -0400
-@@ -22,6 +22,8 @@
- #include "gringo/logger.hh"
- #include "gringo/graph.hh"
- 
-+#include <cmath>
-+
- namespace Gringo {
- 
- // {{{ definition of Defines
diff --git a/pkgs/tools/misc/gringo/gringo-4.5.4-to_string.patch b/pkgs/tools/misc/gringo/gringo-4.5.4-to_string.patch
deleted file mode 100644
index b81eab4cd678a..0000000000000
--- a/pkgs/tools/misc/gringo/gringo-4.5.4-to_string.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- gringo/libgringo/gringo/bug.hh~	2014-03-10 12:19:26.000000000 -0400
-+++ gringo/libgringo/gringo/bug.hh	2016-11-12 07:51:55.288563663 -0500
-@@ -32,7 +32,7 @@
- #define _GLIBCXX_MAKE_MOVE_ITERATOR(_Iter) std::make_move_iterator(_Iter)
- #define _GLIBCXX_MAKE_MOVE_IF_NOEXCEPT_ITERATOR(_Iter) std::make_move_iterator(_Iter)
- 
--#ifdef MISSING_STD_TO_STRING
-+#if 0
- 
- #include <sstream>
-