about summary refs log tree commit diff
path: root/pkgs/development/compilers/pakcs/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/compilers/pakcs/default.nix')
-rw-r--r--pkgs/development/compilers/pakcs/default.nix95
1 files changed, 0 insertions, 95 deletions
diff --git a/pkgs/development/compilers/pakcs/default.nix b/pkgs/development/compilers/pakcs/default.nix
deleted file mode 100644
index 768d125cfff4..000000000000
--- a/pkgs/development/compilers/pakcs/default.nix
+++ /dev/null
@@ -1,95 +0,0 @@
-{ lib, stdenv, fetchurl, makeWrapper
-, haskellPackages, haskell
-, which, swiProlog, rlwrap, tk
-, curl, git, unzip, gnutar, coreutils, sqlite }:
-
-let
-  pname = "pakcs";
-  version = "3.6.0";
-
-  # Don't switch to "Current release" without a reason, because its
-  # source updates without version bump. Prefer last from "Older releases" instead.
-  src = fetchurl {
-    url = "https://www.informatik.uni-kiel.de/~pakcs/download/pakcs-${version}-src.tar.gz";
-    hash = "sha256-1r6jEY3eEGESKcAepiziVbxpIvQLtCS6l0trBU3SGGo=";
-  };
-
-  curry-frontend = (haskellPackages.override {
-    overrides = self: super: {
-      curry-frontend = haskell.lib.compose.overrideCabal (drv: {
-        inherit src;
-        postUnpack = "sourceRoot+=/frontend";
-      }) (super.callPackage ./curry-frontend.nix { });
-    };
-  }).curry-frontend;
-
-in stdenv.mkDerivation {
-  inherit pname version src;
-
-  buildInputs = [ swiProlog ];
-  nativeBuildInputs = [ which makeWrapper ];
-
-  makeFlags = [
-    "CURRYFRONTEND=${curry-frontend}/bin/curry-frontend"
-    "DISTPKGINSTALL=yes"
-    # Not needed, just to make script pass
-    "CURRYTOOLSDIR=0"
-    "CURRYLIBSDIR=0"
-  ];
-
-  preConfigure = ''
-    for file in examples/test.sh             \
-                currytools/optimize/Makefile \
-                testsuite/test.sh            \
-                scripts/cleancurry.sh        \
-                scripts/compile-all-libs.sh; do
-        substituteInPlace $file --replace "/bin/rm" "rm"
-    done
-  '' ;
-
-  preBuild = ''
-    mkdir -p $out/pakcs
-    cp -r * $out/pakcs
-    cd $out/pakcs
-  '';
-
-  installPhase = ''
-    runHook preInstall
-
-    ln -s $out/pakcs/bin $out
-
-    mkdir -p $out/share/emacs/site-lisp
-    ln -s $out/pakcs/tools/emacs $out/share/emacs/site-lisp/curry-pakcs
-
-    wrapProgram $out/pakcs/bin/pakcs \
-      --prefix PATH ":" "${rlwrap}/bin" \
-      --prefix PATH ":" "${tk}/bin"
-
-    # List of dependencies from currytools/cpm/src/CPM/Main.curry
-    wrapProgram $out/pakcs/bin/cypm \
-      --prefix PATH ":" "${lib.makeBinPath [ curl git unzip gnutar coreutils sqlite ]}"
-
-    runHook postInstall
-  '';
-
-  meta = with lib; {
-    homepage = "http://www.informatik.uni-kiel.de/~pakcs/";
-    description = "Implementation of the multi-paradigm declarative language Curry";
-    license = licenses.bsd3;
-
-    longDescription = ''
-      PAKCS is an implementation of the multi-paradigm declarative language
-      Curry jointly developed by the Portland State University, the Aachen
-      University of Technology, and the University of Kiel. Although this is
-      not a highly optimized implementation but based on a high-level
-      compilation of Curry programs into Prolog programs, it is not a toy
-      implementation but has been used for a variety of applications (e.g.,
-      graphical programming environments, an object-oriented front-end for
-      Curry, partial evaluators, database applications, HTML programming
-      with dynamic web pages, prototyping embedded systems).
-    '';
-
-    maintainers = with maintainers; [ t4ccer ];
-    platforms = platforms.linux;
-  };
-}