From 789db27c51501e77ac7be0411e1f979234cf02f5 Mon Sep 17 00:00:00 2001 From: Josselin Poiret Date: Wed, 1 Mar 2023 16:34:59 +0100 Subject: gnu: agda: Build info manual. * gnu/packages/agda.scm (agda): Build the user manual as an info manual. --- gnu/packages/agda.scm | 21 ++++++++++++++++++++- 1 file changed, 20 insertions(+), 1 deletion(-) (limited to 'gnu/packages') diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index fc1085ec09..7a28f69a0d 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -26,6 +26,10 @@ #:use-module (gnu packages haskell-check) #:use-module (gnu packages haskell-web) #:use-module (gnu packages haskell-xyz) + #:use-module (gnu packages imagemagick) + #:use-module (gnu packages python) + #:use-module (gnu packages sphinx) + #:use-module (gnu packages texinfo) #:use-module (guix build-system emacs) #:use-module (guix build-system gnu) #:use-module (guix build-system haskell) @@ -73,6 +77,12 @@ ghc-uri-encode ghc-vector-hashtables ghc-zlib)) + (native-inputs + (list python + python-sphinx + python-sphinx-rtd-theme + texinfo + imagemagick)) (arguments (list #:modules `((guix build haskell-build-system) (guix build utils) @@ -89,7 +99,16 @@ (let ((agda-compiler (string-append #$output "/bin/agda"))) (for-each (cut invoke agda-compiler <>) (find-files (string-append #$output "/share") - "\\.agda$")))))))) + "\\.agda$"))))) + (add-after 'agda-compile 'install-info + (lambda _ + (with-directory-excursion "doc/user-manual" + (invoke "sphinx-build" "-b" "texinfo" + "." "_build_texinfo") + (with-directory-excursion "_build_texinfo" + (setenv "infodir" (string-append #$output + "/share/info")) + (invoke "make" "install-info")))))))) (home-page "https://wiki.portal.chalmers.se/agda/") (synopsis "Dependently typed functional programming language and proof assistant") -- cgit 1.4.1