aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2023-07-16 17:33:30 +0200
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2023-07-18 18:18:53 +0200
commit902eaa8104296768c1ad244f53a066625ae29414 (patch)
treeb954065ab6a0c9b6c00ab4e84286e2b5286ae5e3 /gnu/packages
parentef724f3067ca880bbc4c48e062a00701667680c4 (diff)
downloadguix-902eaa8104296768c1ad244f53a066625ae29414.tar.gz
guix-902eaa8104296768c1ad244f53a066625ae29414.zip
gnu: Add texlive-tlcockpit.
* gnu/packages/tex.scm (texlive-tlcockpit): New variable.
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/tex.scm34
1 files changed, 34 insertions, 0 deletions
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm
index ebe69efc48..a71d812f8b 100644
--- a/gnu/packages/tex.scm
+++ b/gnu/packages/tex.scm
@@ -8038,6 +8038,40 @@ of circulation to give the author time to investigate some problems.")
packages (like @code{tkz-euclide}).")
(license license:lppl1.3+)))
+(define-public texlive-tlcockpit
+ (package
+ (name "texlive-tlcockpit")
+ (version (number->string %texlive-revision))
+ (source (texlive-origin
+ name version
+ (list "doc/man/man1/tlcockpit.1"
+ "doc/man/man1/tlcockpit.man1.pdf"
+ "doc/support/tlcockpit/"
+ "scripts/tlcockpit/"
+ "source/support/tlcockpit/")
+ (base32
+ "1nv0wx21x022isw8rycvqdqwiz4ay6ws36bbcpqfqkjmvz5qr76w")))
+ (outputs '("out" "doc"))
+ (build-system texlive-build-system)
+ (arguments
+ (list
+ #:link-scripts #~(list "tlcockpit.sh")
+ #:phases
+ #~(modify-phases %standard-phases
+ (add-after 'unpack 'locate-java
+ (lambda* (#:key inputs #:allow-other-keys)
+ (let ((java (search-input-file inputs "/bin/java")))
+ (substitute* "scripts/tlcockpit/tlcockpit.sh"
+ (("java -") (string-append java " -")))))))))
+ ;; FIXME: missing EventTarget.class.
+ (inputs (list icedtea))
+ (home-page "https://ctan.org/pkg/tlcockpit")
+ (synopsis "GUI frontend to TeX Live Manager")
+ (description
+ "This package aims at being a GUI for @command{tlmgr}, the TeX Live
+Manager, with a modern look and feel.")
+ (license license:gpl3+)))
+
(define-public texlive-tonevalue
(package
(name "texlive-tonevalue")