gnu: Add texlive-dvidvi-bin.

* gnu/packages/tex.scm (texlive-dvidvi-bin): New variable.
(texlive-dvidvi)[propagated-inputs]: Add TEXLIVE-DVIDVI-BIN.

Change-Id: I4327b4685048c6bb4833512a4ee80b87d72d6f8c
This commit is contained in:
Nicolas Goaziou 2024-05-28 15:49:35 +02:00 committed by Ludovic Courtès
parent 941cff8c50
commit 3a73a83a29
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -34823,6 +34823,7 @@ (define-public texlive-dvidvi
"1w153rqm7nlmcf6162glxz282nbb6b6hjf5h0p7mbzr0j1357sxj")))
(outputs '("out" "doc"))
(build-system texlive-build-system)
(propagated-inputs (list texlive-dvidvi-bin))
(home-page "https://ctan.org/pkg/dvidvi")
(synopsis "Convert one DVI file into another")
(description
@ -34834,6 +34835,53 @@ (define-public texlive-dvidvi
;; <https://metadata.ftp-master.debian.org/changelogs//main/d/dvidvi/dvidvi_1.0-8.2_copyright>.
(license license:gpl3)))
(define-public texlive-dvidvi-bin
(package
(inherit texlive-bin)
(name "texlive-dvidvi-bin")
(source
(origin
(inherit texlive-source)
(modules '((guix build utils)
(ice-9 ftw)))
(snippet
#~(let ((delete-other-directories
(lambda (root keep)
(with-directory-excursion root
(for-each
delete-file-recursively
(scandir
"."
(lambda (file)
(and (not (member file (append keep '("." ".."))))
(eq? 'directory (stat:type (stat file)))))))))))
(delete-other-directories "libs" '())
(delete-other-directories "utils" '())
(delete-other-directories "texk" '("dvidvi"))))))
(arguments
(substitute-keyword-arguments (package-arguments texlive-bin)
((#:configure-flags flags)
#~(cons "--enable-dvidvi" (delete "--enable-web2c" #$flags)))
((#:phases phases)
#~(modify-phases #$phases
(replace 'check
(lambda* (#:key tests? #:allow-other-keys)
(when tests?
(with-directory-excursion "texk/dvidvi"
(invoke "make" "check")))))
(replace 'install
(lambda _
(with-directory-excursion "texk/dvidvi"
(invoke "make" "install"))))))))
(native-inputs (list pkg-config))
(inputs (list texlive-libkpathsea))
(propagated-inputs '())
(home-page (package-home-page texlive-dvidvi))
(synopsis "Binary for @code{texlive-dvidvi}")
(description
"This package provides the binary for @code{texlive-dvidvi}.")
(license (package-license texlive-dvidvi))))
(define-public texlive-dviinfox
(package
(name "texlive-dviinfox")