diff options
| -rw-r--r-- | tojo-tokyo/packages/acl2-kernel.scm | 89 |
1 files changed, 89 insertions, 0 deletions
diff --git a/tojo-tokyo/packages/acl2-kernel.scm b/tojo-tokyo/packages/acl2-kernel.scm new file mode 100644 index 0000000..2bba970 --- /dev/null +++ b/tojo-tokyo/packages/acl2-kernel.scm @@ -0,0 +1,89 @@ +(define-module (tojo-tokyo packages acl2-kernel) + #:use-module (guix packages) + #:use-module (guix download) + #:use-module (gnu packages python) + #:use-module (gnu packages python-xyz) + #:use-module (gnu packages python-web) + #:use-module (gnu packages python-crypto) + #:use-module (gnu packages monitoring) + #:use-module (guix build-system python) + #:use-module ((guix licenses) #:prefix license:)) + +(define-public python-regex-for-acl2-kernel + (package + (inherit python-regex) + (name "python-regex") + (version "2021.4.4") + (source (origin + (method url-fetch) + (uri (pypi-uri "regex" version)) + (sha256 + (base32 + "1yws1kqvw4krmdi519iry5jl1i2ihnr5n45wwkbljb4lkczkvfjj")))))) + +(define-public python-ipython-for-acl2-kernel + (package + (inherit python-ipython) + (name "python-ipython") + (version "7.15.0") + (source (origin + (method url-fetch) + (uri (pypi-uri "ipython" version)) + (sha256 + (base32 + "03hxazxq75z2ljsxmj6ffp534iy6hbff26mfsc69csl1g4w47w8f")))))) + +(define-public python-ipykernel-for-acl2-kernel + (package + (inherit python-ipykernel) + (propagated-inputs + `(("python-ipython" ,python-ipython-for-acl2-kernel) + ("python-tornado" ,python-tornado-6) + ("python-traitlets" ,python-traitlets) + ;; imported at runtime during connect + ("python-jupyter-client" ,python-jupyter-client))))) + +(define-public python-notebook-for-acl2-kernel + (package + (inherit python-notebook) + (propagated-inputs + `(("python-argon2-cffi" ,python-argon2-cffi) + ("python-ipykernel" ,python-ipykernel-for-acl2-kernel) + ("python-ipython-genutils" ,python-ipython-genutils) + ("python-jinja2" ,python-jinja2) + ("python-jupyter-client" ,python-jupyter-client) + ("python-jupyter-core" ,python-jupyter-core) + ("python-nbconvert" ,python-nbconvert) + ("python-nbformat" ,python-nbformat) + ("python-prometheus-client" ,python-prometheus-client) + ("python-pyzmq" ,python-pyzmq) + ("python-send2trash" ,python-send2trash) + ("python-terminado" ,python-terminado) + ("python-tornado" ,python-tornado-6) + ("python-traitlets" ,python-traitlets))))) + +(define-public python-acl2-kernel + (package + (name "python-acl2-kernel") + (version "0.2.8") + (source + (origin + (method url-fetch) + (uri (pypi-uri "acl2-kernel" version)) + (sha256 + (base32 + "1g7j84w19kf3lfy8r4zbs3l3qr60ij5m4vfinbhf1crgm4whqarl")))) + (build-system python-build-system) + (arguments + `(#:tests? #f)) + (propagated-inputs + `(("python-ipykernel" ,python-ipykernel-for-acl2-kernel) + ("python-ipython" ,python-ipython-for-acl2-kernel) + ("python-jupyter-client" ,python-jupyter-client) + ("python-pexpect" ,python-pexpect) + ("python-regex" ,python-regex-for-acl2-kernel) + ("python-notebook" ,python-notebook-for-acl2-kernel))) + (home-page "https://github.com/tani/acl2-kernel") + (synopsis "Jupyter Kernel for ACL2") + (description "Jupyter Kernel for ACL2") + (license license:bsd-3))) |