diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/ocaml.scm | 36 |
1 files changed, 20 insertions, 16 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f5938d2f40..e919c40973 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -10239,28 +10239,32 @@ SHA384, SHA512, Blake2b, Blake2s and RIPEMD160.") (name "ocaml-bibtex2html") (version "1.99") (source - (origin - (method url-fetch) - (uri "https://www.lri.fr/~filliatr/ftp/bibtex2html/bibtex2html-1.99.tar.gz") - (sha256 (base32 "07gzrs4lfrkvbn48cgn2gn6c7cx3jsanakkrb2irj0gmjzfxl96j")))) + (origin + (method url-fetch) + (uri (string-append "https://www.lri.fr/~filliatr/ftp/bibtex2html/" + "bibtex2html-" version ".tar.gz")) + (sha256 + (base32 + "07gzrs4lfrkvbn48cgn2gn6c7cx3jsanakkrb2irj0gmjzfxl96j")))) (build-system ocaml-build-system) (arguments - `(#:phases - (modify-phases %standard-phases + (list + #:phases + #~(modify-phases %standard-phases (add-after 'unpack 'patch-/bin/sh (lambda _ (substitute* "configure" (("/bin/sh") (which "bash"))) - (setenv "HOME" (getcwd)) ;; mktexfmt needs writable home directory - #t))))) + ;; mktexfmt needs writable home directory. + (setenv "HOME" (getcwd))))))) (native-inputs - `(("which" ,which) - ("texlive" ,(texlive-updmap.cfg - (list texlive-bibtex - texlive-hyperref - texlive-infwarerr - texlive-kvoptions - texlive-pdftexcmds - texlive-preprint))))) + (list (texlive-updmap.cfg + (list texlive-bibtex + texlive-hyperref + texlive-infwarerr + texlive-kvoptions + texlive-pdftexcmds + texlive-preprint)) + which)) (propagated-inputs (list hevea)) (home-page "https://www.lri.fr/~filliatr/bibtex2html/") |