about summary refs log tree commit diff
path: root/pkgs/development/compilers/mercury/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/compilers/mercury/default.nix')
-rw-r--r--pkgs/development/compilers/mercury/default.nix63
1 files changed, 0 insertions, 63 deletions
diff --git a/pkgs/development/compilers/mercury/default.nix b/pkgs/development/compilers/mercury/default.nix
deleted file mode 100644
index f8ed2ed73ab0..000000000000
--- a/pkgs/development/compilers/mercury/default.nix
+++ /dev/null
@@ -1,63 +0,0 @@
-{ lib, stdenv, fetchurl, gcc, flex, bison, texinfo, jdk_headless, erlang, makeWrapper
-, readline }:
-
-stdenv.mkDerivation rec {
-  pname = "mercury";
-  version = "22.01.8";
-
-  src = fetchurl {
-    url    = "https://dl.mercurylang.org/release/mercury-srcdist-${version}.tar.gz";
-    sha256 = "sha256-oJfozI7KAVLtlSfByvc+XJyD9q2h0xOiW4D+eQcvutg=";
-  };
-
-  nativeBuildInputs = [ makeWrapper ];
-  buildInputs = [ gcc flex bison texinfo jdk_headless erlang readline ];
-
-  patchPhase = ''
-    # Fix calls to programs in /bin
-    for p in uname pwd ; do
-      for f in $(egrep -lr /bin/$p *) ; do
-        sed -i 's@/bin/'$p'@'$p'@g' $f ;
-      done
-    done
-  '';
-
-  preConfigure = ''
-    mkdir -p $out/lib/mercury/cgi-bin ;
-    configureFlags="--enable-deep-profiler=$out/lib/mercury/cgi-bin";
-  '';
-
-  preBuild = ''
-    # Mercury buildsystem does not take -jN directly.
-    makeFlags="PARALLEL=-j$NIX_BUILD_CORES" ;
-  '';
-
-  postInstall = ''
-    # Wrap with compilers for the different targets.
-    for e in $(ls $out/bin) ; do
-      wrapProgram $out/bin/$e \
-        --prefix PATH ":" "${gcc}/bin" \
-        --prefix PATH ":" "${jdk_headless}/bin" \
-        --prefix PATH ":" "${erlang}/bin"
-    done
-  '';
-
-  meta = {
-    description = "Pure logic programming language";
-    longDescription = ''
-      Mercury is a logic/functional programming language which combines the
-      clarity and expressiveness of declarative programming with advanced
-      static analysis and error detection features.  Its highly optimized
-      execution algorithm delivers efficiency far in excess of existing logic
-      programming systems, and close to conventional programming systems.
-      Mercury addresses the problems of large-scale program development,
-      allowing modularity, separate compilation, and numerous optimization/time
-      trade-offs.
-    '';
-    homepage    = "https://mercurylang.org/";
-    changelog   = "https://dl.mercurylang.org/release/release-notes-${version}.html";
-    license     = lib.licenses.gpl2Only;
-    platforms   = lib.platforms.all;
-    maintainers = [ ];
-  };
-}