diff options
Diffstat (limited to 'pkgs/development/compilers/koka/default.nix')
-rw-r--r-- | pkgs/development/compilers/koka/default.nix | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/pkgs/development/compilers/koka/default.nix b/pkgs/development/compilers/koka/default.nix index 4057ec157ebaa..23b7ced0a15eb 100644 --- a/pkgs/development/compilers/koka/default.nix +++ b/pkgs/development/compilers/koka/default.nix @@ -2,6 +2,7 @@ , pkgsHostTarget , cmake , makeWrapper +, fetchpatch , mkDerivation , fetchFromGitHub , alex @@ -64,6 +65,14 @@ mkDerivation rec { isLibrary = false; isExecutable = true; libraryToolDepends = [ hpack ]; + patches = [ + (fetchpatch { + name = "koka-stackage-22.patch"; + url = "https://github.com/koka-lang/koka/commit/95f9b360544996e06d4bb33321a83a6b9605d092.patch"; + sha256 = "1a1sv1r393wkhsnj56awsi8mqxakqdy86p7dg9i9xfv13q2g4h6x"; + includes = [ "src/**" ]; + }) + ]; executableHaskellDepends = [ aeson array |