TakeV/guix
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

gnu: agda: Build info manual.

Browse source 
* gnu/packages/agda.scm (agda): Build the user manual as an info manual.
This commit is contained in:
Josselin Poiret 2023-03-01 16:34:59 +01:00
parent af5d228b13
commit 789db27c51
No known key found for this signature in database
GPG key ID: 505E40B916171A8A
1 changed files with 20 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
gnu/packages/agda.scm
View file

@ -26,6 +26,10 @@ (define-module (gnu packages agda)
#: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 @@ (define-public agda
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 @@ (define-public agda
(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")