aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-09-08 17:44:15 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-09-08 17:44:15 +0900
commita79600511fa8843348ac2d5d1d4aec69e41cd813 (patch)
tree7689891863348b47d21ed3d477cdc024093b8915 /tojo-tokyo
parentc56ebc5161a4b0bb4bf4f6a94a88f96ae327b0d3 (diff)
acl2-kernel: Add acl2-kernel.
Diffstat (limited to 'tojo-tokyo')
-rw-r--r--tojo-tokyo/packages/acl2-kernel.scm89
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)))