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 ];
-}