From 32710c71df3149f94827e3919c50f74de4f8bc38 Mon Sep 17 00:00:00 2001 From: Xinglu Chen Date: Thu, 17 Jun 2021 15:19:39 +0200 Subject: gnu: Add texlive-latex-ebproof. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/tex.scm (texlive-latex-ebproof): New variable. Signed-off-by: Ludovic Courtès --- gnu/packages/tex.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) (limited to 'gnu/packages/tex.scm') diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index da19a57e59..086d6190dd 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -16,6 +16,7 @@ ;;; Copyright © 2020, 2021 Paul Garlick ;;; Copyright © 2021 Maxim Cournoyer ;;; Copyright © 2021 Leo Le Bouter +;;; Copyright © 2021 Xinglu Chen ;;; ;;; This file is part of GNU Guix. ;;; @@ -8546,6 +8547,35 @@ (define-public texlive-tcolorbox parts.") (license license:lppl1.3c+)))) +(define-public texlive-latex-ebproof + (package + (name "texlive-latex-ebproof") + (version "2.1.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://framagit.org/manu/ebproof") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1zkrfaf343js0yc1x7m3d8hzbh5izn0lb01jrmdpjm51kdbh30xq")))) + (build-system texlive-build-system) + (arguments '(#:tex-directory "latex/ebproof")) + (propagated-inputs + `(("texlive-latex-l3kernel" ,texlive-latex-l3kernel))) + (home-page "http://www.ctan.org/pkg/ebproof") + (synopsis + "Formal proofs in the style of sequent calculus") + (description + "This package provides commands to typeset proof trees in the style of +sequent calculus and related systems. The commands allow for writing +inferences with any number of premises and alignment of successive formulas on +an arbitrary point. Various options allow complete control over spacing, +styles of inference rules, placement of labels, etc.") + (license license:lppl1.3+))) + (define-public texlive-eurosym (let ((template (simple-texlive-package "texlive-eurosym" -- cgit v1.2.3 From e499500730de23fd54ae63696a725d4b90a406d7 Mon Sep 17 00:00:00 2001 From: Ivan Gankevich Date: Wed, 7 Jul 2021 10:25:51 +0300 Subject: gnu: Add bibtool. * gnu/packages/tex.scm (bibtool): New variable. Signed-off-by: Nicolas Goaziou --- gnu/packages/tex.scm | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) (limited to 'gnu/packages/tex.scm') diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 086d6190dd..8afa18a7fd 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -17,6 +17,7 @@ ;;; Copyright © 2021 Maxim Cournoyer ;;; Copyright © 2021 Leo Le Bouter ;;; Copyright © 2021 Xinglu Chen +;;; Copyright © 2021 Ivan Gankevich ;;; ;;; This file is part of GNU Guix. ;;; @@ -8629,3 +8630,33 @@ (define-public texlive-kastrup are valid as arguments for the macros. The package may be used under LaTeX and plain TeX.") (license (license:fsf-free "file:/binhex.dtx")))) + +(define-public bibtool + (package + (name "bibtool") + (version "2.68") + (source + (origin + (method git-fetch) + (uri + (git-reference + (url "https://github.com/ge-ne/bibtool") + (commit (string-append + "BibTool_" + (string-map (lambda (c) (if (char=? c #\.) #\_ c)) + version))))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0grnmqj8w5018nd7r6drnq2yvfhf22gj9i3rj8ilhzm7zmz3zn0g")))) + (build-system gnu-build-system) + (arguments + `(#:test-target "test")) + (native-inputs + `(("perl" ,perl))) + (home-page "http://www.gerd-neugebauer.de/software/TeX/BibTool/en") + (synopsis "Tool for manipulating BibTeX databases") + (description + "BibTool manipulates BibTeX files. The possibilities of BibTool include +sorting and merging of BibTeX databases, generation of uniform reference keys, +and selecting references used in a publication.") + (license license:gpl2+))) -- cgit v1.2.3 From f7f6cbb6b68fd88543097bb69b992a86043499ce Mon Sep 17 00:00:00 2001 From: Julien Lepiller Date: Sat, 10 Jul 2021 14:36:54 +0200 Subject: gnu: Add texlive-preprint. * gnu/packages/tex.scm (texlive-preprint): New variable. --- gnu/packages/tex.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) (limited to 'gnu/packages/tex.scm') diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 8afa18a7fd..8d86264209 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -18,6 +18,7 @@ ;;; Copyright © 2021 Leo Le Bouter ;;; Copyright © 2021 Xinglu Chen ;;; Copyright © 2021 Ivan Gankevich +;;; Copyright © 2021 Julien Lepiller ;;; ;;; This file is part of GNU Guix. ;;; @@ -8118,6 +8119,30 @@ (define-public texlive-fontaxes figure versions offered by many professional fonts.") (license license:lppl1.3+))) +(define-public texlive-preprint + (package + (name "texlive-preprint") + (version "1.0e") + (source + (origin + (method svn-fetch) + (uri (texlive-ref "latex" "preprint")) + (file-name (string-append name "-" version "-checkout")) + (sha256 + (base32 + "173ik9xad3zih6gcdwdkzyljarh06ky6c5d2x1yjs22qqi75py5a")))) + (build-system texlive-build-system) + (arguments '(#:tex-directory "latex/preprint")) + (home-page "http://www.ctan.org/pkg/preprint") + (synopsis "Bundle of modules for preprints") + (description "The bundle comprises: @code{authblk}, which permits +footnote style author/affiliation input in the @command{\\author} command, +@code{balance}, to balance the end of @command{\\twocolumn} pages, +@code{figcaps}, to send figure captions, etc., to end document, +@code{fullpage}, to set narrow page margins and set a fixed page style, and +@code{sublabel}, which permits counters to be subnumbered.") + (license license:lppl1.3+))) + (define-public texlive-mweights (package (inherit (simple-texlive-package -- cgit v1.2.3 From e89036e2f18a558ecc810dadb428ee07e04442a6 Mon Sep 17 00:00:00 2001 From: Leo Prikler Date: Sat, 15 May 2021 16:16:48 +0200 Subject: gnu: Add texlive-libkpathsea. * gnu/packages/tex.scm (texlive-libkpathsea): New variable. --- gnu/packages/tex.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) (limited to 'gnu/packages/tex.scm') diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 8d86264209..b404ca8ff1 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -460,6 +460,39 @@ (define-public texlive-bin (license (license:fsf-free "https://www.tug.org/texlive/copying.html")) (home-page "https://www.tug.org/texlive/"))) +(define-public texlive-libkpathsea + (package/inherit texlive-bin + (name "texlive-libkpathsea") + (source + (origin + (inherit (package-source texlive-bin)) + (snippet + `(begin + ,(origin-snippet (package-source texlive-bin)) + (with-directory-excursion "texk" + (let ((preserved-directories '("." ".." "kpathsea"))) + (for-each + delete-file-recursively + (scandir "." + (lambda (file) + (and (not (member file preserved-directories)) + (eq? 'directory (stat:type (stat file))))))))))))) + (arguments + (substitute-keyword-arguments (package-arguments texlive-bin) + ((#:configure-flags flags) + `(cons* "--disable-all-pkgs" "--enable-kpathsea" + "--enable-shared" ,flags)) + ((#:phases phases) + `(modify-phases %standard-phases + (add-after 'install 'post-install + (lambda* (#:key inputs outputs #:allow-other-keys) + (with-directory-excursion "texk/kpathsea" + (invoke "make" "install")))))))) + (inputs '()) + (synopsis "Path searching library") + (description "kpathsea is a library, whose purpose is to return a filename +from a list of user-specified directories similar to how shells look up +executables. It is maintained as a part of TeX Live."))) (define texlive-docstrip (package -- cgit v1.2.3