diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-15 13:54:01 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-15 13:54:01 +0900 |
| commit | cc8550670e11d7c1d082f0be183edcf05aee3e8c (patch) | |
| tree | 1227970c39416bc259f8a654274373f560ecfadf | |
| parent | 3b1b4fda0e3d59cd7585b1697aa6d039df1307fb (diff) | |
jupyter-acl2-kernel: Add `#t` to install-kernel phase.
| -rw-r--r-- | tojo-tokyo/packages/acl2.scm | 3 |
1 files changed, 2 insertions, 1 deletions
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) |