diff options
Diffstat (limited to 'tojo-tokyo/packages')
-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) |