From cc8550670e11d7c1d082f0be183edcf05aee3e8c Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Wed, 15 Sep 2021 13:54:01 +0900 Subject: jupyter-acl2-kernel: Add `#t` to install-kernel phase. --- tojo-tokyo/packages/acl2.scm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'tojo-tokyo/packages') diff --git a/tojo-tokyo/packages/acl2.scm b/tojo-tokyo/packages/acl2.scm index 1a4904b..74d2f5e 100644 --- a/tojo-tokyo/packages/acl2.scm +++ b/tojo-tokyo/packages/acl2.scm @@ -142,7 +142,8 @@ (let ((kernel-src "/tmp/.local/share/jupyter/kernels/acl2/kernel.json") (kernel-dst (string-append (assoc-ref outputs "out") "/share/jupyter/kernels/acl2"))) - (install-file kernel-src kernel-dst))))))) + (install-file kernel-src kernel-dst) + #t)))))) (propagated-inputs `(("python-ipykernel" ,python-ipykernel) ("python-ipython" ,python-ipython) -- cgit v1.2.3