blob: 9c82a8a664a7c5b30a4ba928026d469419014739 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
;;; tojo-tokyo-guix-config --- Guix Channel for git.tojo.tokyo's package
;;; Copyright © 2022 Masaya Tojo <masaya@tojo.tokyo>
;;;
;;; This file is part of tojo-tokyo-guix-config.
;;;
;;; tojo-tokyo-guix-config is free software; you can redistribute
;;; it and/or modify it under the terms of the GNU General Public
;;; License as published by the Free Software Foundation; either
;;; version 3 of the License, or (at your option) any later version.
;;;
;;; tojo-tokyo-guix-config is distributed in the hope that it will
;;; be useful, but WITHOUT ANY WARRANTY; without even the implied
;;; warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
;;; See the GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with extract-green-color. If not, see
;;; <http://www.gnu.org/licenses/>.
(define-module (tojo-tokyo packages emacs-xyz)
#:use-module (guix packages)
#:use-module ((guix licenses) #:prefix license:)
#:use-module (guix git-download)
#:use-module (guix build-system emacs)
#:use-module (gnu packages)
#:use-module (gnu packages base))
(define-public emacs-ob-acl2
(package
(name "emacs-ob-acl2")
(version "v0.1.0")
(source
(origin
(method git-fetch)
(uri (git-reference
(url "https://git.tojo.tokyo/ob-acl2.git")
(commit version)))
(file-name (git-file-name name version))
(sha256
(base32 "125ihxgwha6jfd4qv5rlgbbrykjmjl8h3qvazqxps25ymyw2zm5s"))))
(build-system emacs-build-system)
(home-page "https://git.tojo.tokyo/ob-acl2.git/about/")
(synopsis "Org-babel functions for ACL2")
(description
"This is implemented by pouring expressions into a *shell* buffer,
which is a standard ACL2 execution environment.
Must run acl2 with *shell* before using it.")
(license license:gpl3+)))
|
