[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#56759] [PATCH 03/20] gnu: Add itex2mml.
From: |
Philip McGrath |
Subject: |
[bug#56759] [PATCH 03/20] gnu: Add itex2mml. |
Date: |
Mon, 25 Jul 2022 08:16:18 -0400 |
* gnu/packages/maths.scm (itex2mml): New variable.
---
gnu/packages/maths.scm | 53 ++++++++++++++++++++++++++++++++++++++++++
1 file changed, 53 insertions(+)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 6a84f47468..648358c681 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -52,6 +52,7 @@
;;; Copyright © 2021 Pierre-Antoine Bouttier
<pierre-antoine.bouttier@univ-grenoble-alpes.fr>
;;; Copyright © 2022 Zhu Zihao <all_but_last@163.com>
;;; Copyright © 2022 Sharlatan Hellseher <sharlatanus@gmail.com>
+;;; Copyright © 2022 Philip McGrath <philip@philipmcgrath.com>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -1738,6 +1739,58 @@ (define-public h5check
HDF5 file is encoded according to the HDF File Format Specification.")
(license (license:x11-style "file://COPYING"))))
+(define-public itex2mml
+ (package
+ (name "itex2mml")
+ (version "1.6.1")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "https://golem.ph.utexas.edu"
+ "/~distler/blog/files/itexToMML-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "0pz51c0hfh2mg8xli0wj7hf92s3b7yf5r4114g8z8722lcm5gwiy"))
+ (snippet
+ #~(begin
+ (use-modules (guix build utils))
+ (delete-file-recursively "itex-binaries")))))
+ (build-system gnu-build-system)
+ (native-inputs
+ (list bison
+ flex))
+ (arguments
+ (list
+ #:make-flags #~(list (string-append "BINDIR=" #$output "/bin/")
+ (string-append "CC=" #$(cc-for-target)))
+ #:tests? #f ;; there are none
+ #:phases
+ #~(modify-phases %standard-phases
+ (delete 'configure)
+ (add-before 'build 'chdir
+ (lambda args
+ (chdir "itex-src")))
+ (add-before 'install 'make-bindir
+ (lambda args
+ (mkdir-p (string-append #$output "/bin"))))
+ (add-after 'install 'install-doc
+ (lambda* (#:key outputs #:allow-other-keys)
+ (let* ((doc-prefix (or (assoc-ref outputs "doc")
+ #$output))
+ (itex2mml+version (strip-store-file-name #$output))
+ (doc-dir (string-append doc-prefix
+ "/share/doc/"
+ itex2mml+version)))
+ (install-file "../README" doc-dir)))))))
+ (home-page "https://golem.ph.utexas.edu/~distler/blog/itex2MML.html")
+ (synopsis "LaTeX to XHTML/MathML converter")
+ (description
+ "The @command{itex2MML} utility is a stream filter. It takes text with
+embedded itex equations, converts the itex equations to MathML, and outputs
+the resulting text.")
+ (license (list license:lgpl2.0+ license:gpl2+ license:mpl1.1))))
+
(define-public itpp
(package
(name "itpp")
--
2.32.0
- [bug#56759] [PATCH 00/20] gnu: Add AnyStyle., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 02/20] gnu: Add ruby-namae., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 04/20] gnu: Add ruby-ritex., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 01/20] gnu: Add ruby-wapiti., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 06/20] gnu: Add ruby-link-header., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 07/20] gnu: Add ruby-rdf., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 08/20] gnu: Add ruby-rdf-vocab., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 03/20] gnu: Add itex2mml.,
Philip McGrath <=
- [bug#56759] [PATCH 09/20] gnu: Add ruby-bibtex-ruby., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 05/20] gnu: Add ruby-latex-decode., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 10/20] gnu: Add ruby-unicode-scripts., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 12/20] gnu: Add ruby-edtf., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 13/20] gnu: Add ruby-gli., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 15/20] gnu: Add ruby-anystyle., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 17/20] gnu: ruby-anystyle-data: Don't write to installed gem., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 11/20] gnu: Add ruby-citeproc., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 16/20] gnu: Add anystyle., Philip McGrath, 2022/07/25
- [bug#56759] [PATCH 20/20] gnu: anystyle: Use GDBM by default., Philip McGrath, 2022/07/25