1 files changed, 0 insertions, 68 deletions
diff --git a/pkgs/development/compilers/gprolog/default.nix b/pkgs/development/compilers/gprolog/default.nix
deleted file mode 100644
index 6868ca9f8d8f..000000000000
--- a/pkgs/development/compilers/gprolog/default.nix
+++ /dev/null
@@ -1,68 +0,0 @@
-{ lib, stdenv, fetchurl }:
-
-stdenv.mkDerivation rec {
-  pname = "gprolog";
-  version = "1.5.0";
-
-  src = fetchurl {
-    urls = [
-      "mirror://gnu/gprolog/gprolog-${version}.tar.gz"
-      "http://www.gprolog.org/gprolog-${version}.tar.gz"
-    ];
-    sha256 = "sha256-ZwZCtDwPqifr1olh77F+vnB2iPkbaAlWbd1gYTlRLAE=";
-  };
-
-  hardeningDisable = lib.optional stdenv.isi686 "pic";
-
-  patchPhase = ''
-    sed -i -e "s|/tmp/make.log|$TMPDIR/make.log|g" src/Pl2Wam/check_boot
-  '';
-
-  preConfigure = ''
-    cd src
-    configureFlagsArray=(
-      "--with-install-dir=$out"
-      "--without-links-dir"
-      "--with-examples-dir=$out/share/gprolog-${version}/examples"
-      "--with-doc-dir=$out/share/gprolog-${version}/doc"
-    )
-  '';
-
-  postInstall = ''
-    mv -v $out/[A-Z]* $out/gprolog.ico $out/share/gprolog-${version}/
-  '';
-
-  doCheck = true;
-
-  meta = {
-    homepage = "https://www.gnu.org/software/gprolog/";
-    description = "GNU Prolog, a free Prolog compiler with constraint solving over finite domains";
-    license = lib.licenses.lgpl3Plus;
-
-    longDescription = ''
-      GNU Prolog is a free Prolog compiler with constraint solving
-      over finite domains developed by Daniel Diaz.
-
-      GNU Prolog accepts Prolog+constraint programs and produces
-      native binaries (like gcc does from a C source).  The obtained
-      executable is then stand-alone.  The size of this executable can
-      be quite small since GNU Prolog can avoid to link the code of
-      most unused built-in predicates.  The performances of GNU Prolog
-      are very encouraging (comparable to commercial systems).
-
-      Beside the native-code compilation, GNU Prolog offers a
-      classical interactive interpreter (top-level) with a debugger.
-
-      The Prolog part conforms to the ISO standard for Prolog with
-      many extensions very useful in practice (global variables, OS
-      interface, sockets,...).
-
-      GNU Prolog also includes an efficient constraint solver over
-      Finite Domains (FD).  This opens contraint logic programming to
-      the user combining the power of constraint programming to the
-      declarativity of logic programming.
-    '';
-
-    platforms = lib.platforms.unix;
-  };
-}