nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gnu: idris: Fix idris-default-arguments. 

* gnu/packages/idris.scm (idris-default-arguments): Don't set IDRIS_LIBRARY_PATH before
building and change --install to --build.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
This commit is contained in:
Peter Mikkelsen 2017-04-15 04:31:19 +02:00 committed by Marius Bakke
parent b74f224744
commit 178670c9eb
No known key found for this signature in database
GPG Key ID: A2A06DF2A33A54FA
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gnu/packages/idris.scm
View File

@ -146,12 +146,14 @@ Epigram and Agda.")
idris-path-files)) idris-path-files))
(install-cmd (cons* idris-bin (install-cmd (cons* idris-bin
"--ibcsubdir" ibcsubdir "--ibcsubdir" ibcsubdir
"--install" ipkg "--build" ipkg
;; only trigger a build, as --ibcsubdir
;; already installs .ibc files.
(apply append (map (lambda (path) (apply append (map (lambda (path)
(list "--idrispath" (list "--idrispath"
path)) path))
idris-path-subdirs))))) idris-path-subdirs)))))
(setenv "IDRIS_LIBRARY_PATH" idris-libs)
;; FIXME: Seems to be a bug in idris that causes a dubious failure. ;; FIXME: Seems to be a bug in idris that causes a dubious failure.
(apply system* install-cmd) (apply system* install-cmd)
#t)))))) #t))))))