diff options
author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2024-05-28 15:46:27 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2024-08-31 10:45:26 +0200 |
commit | 941cff8c506c124dc637016fb5e681067417c769 (patch) | |
tree | 847466224377dcf9151c3b5e631b29183177204b /gnu | |
parent | 08f55f34fea8c774df18ea6c61e8e9cf913ac039 (diff) | |
download | guix-941cff8c506c124dc637016fb5e681067417c769.tar guix-941cff8c506c124dc637016fb5e681067417c769.tar.gz |
gnu: Add texlive-dvi2tty-bin.
* gnu/packages/tex.scm (texlive-dvi2tty-bin): New variable.
(texlive-dvi2tty)[propagated-inputs]: Add TEXLIVE-DVI2TTY-BIN.
Change-Id: I4b583f4edb7205cacbe9fcb00286af0513bc88bb
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/tex.scm | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 6e9eafe931..78317648aa 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -34688,6 +34688,7 @@ homebrewed classes and package files.") "108y0qxh13x0iivgsvkk4370f471p03nyl4x9nn7lng1wrsafp6h"))) (outputs '("out" "doc")) (build-system texlive-build-system) + (propagated-inputs (list texlive-dvi2tty-bin)) (home-page "https://ctan.org/pkg/dvi2tty") (synopsis "Produce ASCII from DVI") (description @@ -34695,6 +34696,52 @@ homebrewed classes and package files.") the document.") (license license:gpl2))) +(define-public texlive-dvi2tty-bin + (package + (inherit texlive-bin) + (name "texlive-dvi2tty-bin") + (source + (origin + (inherit texlive-source) + (modules '((guix build utils) + (ice-9 ftw))) + (snippet + #~(let ((delete-other-directories + (lambda (root dirs) + (with-directory-excursion root + (for-each + delete-file-recursively + (scandir "." + (lambda (file) + (and (not (member file (append '("." "..") dirs))) + (eq? 'directory (stat:type (stat file))))))))))) + (delete-other-directories "libs" '()) + (delete-other-directories "utils" '()) + (delete-other-directories "texk" '("dvi2tty")))))) + (arguments + (substitute-keyword-arguments (package-arguments texlive-bin) + ((#:configure-flags flags) + #~(cons "--enable-dvi2tty" (delete "--enable-web2c" #$flags))) + ((#:phases phases) + #~(modify-phases #$phases + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (when tests? + (with-directory-excursion "texk/dvi2tty" + (invoke "make" "check"))))) + (replace 'install + (lambda _ + (with-directory-excursion "texk/dvi2tty" + (invoke "make" "install")))))))) + (native-inputs (list pkg-config)) + (inputs (list texlive-libkpathsea texlive-libptexenc)) + (propagated-inputs '()) + (home-page (package-home-page texlive-dvi2tty)) + (synopsis "Binaries for @code{texlive-dvi2tty}") + (description + "This package provides the binaries for @code{texlive-dvi2tty}.") + (license (package-license texlive-dvi2tty)))) + (define-public texlive-dviasm (package (name "texlive-dviasm") |