diff options
author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-16 17:33:30 +0200 |
---|---|---|
committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-18 18:18:53 +0200 |
commit | 902eaa8104296768c1ad244f53a066625ae29414 (patch) | |
tree | b954065ab6a0c9b6c00ab4e84286e2b5286ae5e3 | |
parent | ef724f3067ca880bbc4c48e062a00701667680c4 (diff) |
gnu: Add texlive-tlcockpit.
* gnu/packages/tex.scm (texlive-tlcockpit): New variable.
-rw-r--r-- | gnu/packages/tex.scm | 34 |
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") |