diff options
| -rw-r--r-- | tojo-tokyo/packages/emacs-xyz.scm | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/tojo-tokyo/packages/emacs-xyz.scm b/tojo-tokyo/packages/emacs-xyz.scm new file mode 100644 index 0000000..a344de1 --- /dev/null +++ b/tojo-tokyo/packages/emacs-xyz.scm @@ -0,0 +1,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) + #: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+))) |