diff options
Diffstat (limited to 'pkgs/development/compilers/pakcs/default.nix')
-rw-r--r-- | pkgs/development/compilers/pakcs/default.nix | 95 |
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; - }; -} |