ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-07 07:26:13 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: agda: Fix build.

Browse source 
* gnu/packages/agda.scm (agda)[arguments]: Don't refer to nonexistent
'compile' phase.

Change-Id: Ibc9aa38a31c22c9be3a3997882e62129a47938a3
This commit is contained in:
宋文武 2024-06-18 19:09:44 +08:00 committed by Ludovic Courtès
parent 47e761b929
commit 6515a705ae
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
gnu/packages/agda.scm
View file

@ -102,7 +102,7 @@ (define-public agda
(add-after 'unpack 'set-ld-library-path
(lambda _
(setenv "LD_LIBRARY_PATH" (string-append (getcwd) "/dist/build"))))
(add-after 'compile 'agda-compile
(add-after 'build 'agda-compile
(lambda* (#:key outputs #:allow-other-keys)
(let ((agda-compiler (string-append #$output "/bin/agda")))
(for-each (cut invoke agda-compiler <>)