Merge pull request #171 from traP-jp/feat/#72-add-compiler-prolog

feat: add interpreter swi-prolog
traP-jp · Dec 12, 2024 · f593699 · f593699
2 parents a0d5012 + 98188c9
commit f593699
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 1 deletion.
diff --git a/exec-container/build.sh b/exec-container/build.sh
@@ -1,6 +1,8 @@
 #!/bin/bash
 
+set -eux
+
 touch result
 docker build -t trao-nix .
 docker volume create trao-nix_cache
-docker run -v ./result:/result -v trao-nix_cache:/nix/store trao-nix
+docker run -v ./result:/result -v trao-nix_cache:/nix/store --platform=linux/amd64 trao-nix
diff --git a/exec-container/interpreters/default.nix b/exec-container/interpreters/default.nix
@@ -13,6 +13,7 @@
   zsh = import ./zsh {inherit pkgs;};
   lua = import ./lua {inherit pkgs;};
   r = import ./r {inherit pkgs;};
+  prolog = import ./prolog {inherit pkgs;};
 in {
   all = [
     python.python311
@@ -30,5 +31,6 @@ in {
     zsh
     lua
     r
+    prolog
   ];
 }
diff --git a/exec-container/interpreters/prolog/default.nix b/exec-container/interpreters/prolog/default.nix
@@ -0,0 +1,4 @@
+{pkgs, ...}: let
+  myProlog = pkgs.swi-prolog;
+in
+  pkgs.writeShellScriptBin "swipl" "exec ${myProlog}/bin/swipl $@"