diff options
Diffstat (limited to 'pkgs/development/compilers/koka')
-rw-r--r-- | pkgs/development/compilers/koka/default.nix | 108 |
1 files changed, 0 insertions, 108 deletions
diff --git a/pkgs/development/compilers/koka/default.nix b/pkgs/development/compilers/koka/default.nix deleted file mode 100644 index c280d2fb7e70..000000000000 --- a/pkgs/development/compilers/koka/default.nix +++ /dev/null @@ -1,108 +0,0 @@ -{ stdenv -, pkgsHostTarget -, cmake -, makeWrapper -, fetchpatch -, mkDerivation -, fetchFromGitHub -, alex -, lib -, hpack -, aeson -, array -, async -, base -, bytestring -, co-log-core -, cond -, containers -, directory -, FloatingHex -, isocline -, lens -, lsp -, mtl -, network -, network-simple -, parsec -, process -, text -, text-rope -, time -}: - -let - version = "3.1.2"; - src = fetchFromGitHub { - owner = "koka-lang"; - repo = "koka"; - rev = "v${version}"; - sha256 = "sha256-BNkMtYf5maWtKEZzob+218ke1SIkrP7/nboQ2sZKkxI="; - fetchSubmodules = true; - }; - kklib = stdenv.mkDerivation { - pname = "kklib"; - inherit version; - src = "${src}/kklib"; - nativeBuildInputs = [ cmake ]; - outputs = [ "out" "dev" ]; - postInstall = '' - mkdir -p ''${!outputDev}/share/koka/v${version} - cp -a ../../kklib ''${!outputDev}/share/koka/v${version} - ''; - }; - inherit (pkgsHostTarget.targetPackages.stdenv) cc; - runtimeDeps = [ - cc - cc.bintools.bintools - pkgsHostTarget.gnumake - pkgsHostTarget.cmake - ]; -in -mkDerivation rec { - pname = "koka"; - inherit version src; - isLibrary = false; - isExecutable = true; - libraryToolDepends = [ hpack ]; - executableHaskellDepends = [ - aeson - array - async - base - bytestring - co-log-core - cond - containers - directory - FloatingHex - isocline - lens - lsp - mtl - network - network-simple - parsec - process - text - text-rope - time - kklib - ]; - executableToolDepends = [ alex makeWrapper ]; - postInstall = '' - mkdir -p $out/share/koka/v${version} - cp -a lib $out/share/koka/v${version} - ln -s ${kklib.dev}/share/koka/v${version}/kklib $out/share/koka/v${version} - wrapProgram "$out/bin/koka" \ - --set CC "${lib.getBin cc}/bin/${cc.targetPrefix}cc" \ - --prefix PATH : "${lib.makeSearchPath "bin" runtimeDeps}" - ''; - doCheck = false; - prePatch = "hpack"; - description = "Koka language compiler and interpreter"; - homepage = "https://github.com/koka-lang/koka"; - changelog = "${homepage}/blob/master/doc/spec/news.mdk"; - license = lib.licenses.asl20; - maintainers = with lib.maintainers; [ siraben sternenseemann ]; -} |