From 392f698ce7280d7d346eacf8440530c027c887fb Mon Sep 17 00:00:00 2001 From: comavius Date: Fri, 6 Dec 2024 20:49:57 +0900 Subject: [PATCH] =?UTF-8?q?=E2=9C=A8=20unison-ucm=20lang?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- exec-container/interpreters/default.nix | 2 ++ exec-container/interpreters/unison/default.nix | 5 +++++ 2 files changed, 7 insertions(+) create mode 100644 exec-container/interpreters/unison/default.nix diff --git a/exec-container/interpreters/default.nix b/exec-container/interpreters/default.nix index 9c1596e..41107c2 100644 --- a/exec-container/interpreters/default.nix +++ b/exec-container/interpreters/default.nix @@ -8,6 +8,7 @@ # sagemath = import ./sagemath {inherit pkgs;}; awk = import ./awk {inherit pkgs;}; whitespace = import ./whitespace {inherit pkgs;}; + unison = import ./unison {inherit pkgs;}; in { all = [ python.python311 @@ -21,5 +22,6 @@ in { # sagemath awk whitespace + unison ]; } diff --git a/exec-container/interpreters/unison/default.nix b/exec-container/interpreters/unison/default.nix new file mode 100644 index 0000000..abb5a71 --- /dev/null +++ b/exec-container/interpreters/unison/default.nix @@ -0,0 +1,5 @@ +{pkgs}: +pkgs.toj-utils.simple-bin { + package = pkgs.unison-ucm; + bin-name = "ucm"; +}