Merge pull request #150 from traP-jp/feat/#82-koka

traP-jp · Nov 29, 2024 · 1d8646d · 1d8646d
2 parents 83ff9fa + d1a95cc
commit 1d8646d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/exec-container/compilers/default.nix b/exec-container/compilers/default.nix
@@ -2,10 +2,12 @@
   golang = import ./golang {inherit pkgs;};
   brainfuck = import ./brainfuck {inherit pkgs;};
   rust = import ./rust {inherit pkgs;};
+  koka = import ./koka {inherit pkgs;};
 in {
   all = [
     golang
     brainfuck
     rust
+    koka
   ];
 }
diff --git a/exec-container/compilers/koka/default.nix b/exec-container/compilers/koka/default.nix
@@ -0,0 +1,4 @@
+{pkgs}: let
+  mySed = pkgs.koka;
+in
+  pkgs.writeShellScriptBin "koka" "exec ${mySed}/bin/koka $@"