--- Begin Message ---
Subject: |
[PATCH 2/2] gnu: idris: Fix idris-default-arguments. |
Date: |
Sat, 15 Apr 2017 04:31:19 +0200 |
* gnu/packages/idris.scm (idris-default-arguments): Don't set
IDRIS_LIBRARY_PATH before
building and change --install to --build.
---
gnu/packages/idris.scm | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
index 4e3a4fddb..de9b5dd1d 100644
--- a/gnu/packages/idris.scm
+++ b/gnu/packages/idris.scm
@@ -146,12 +146,14 @@ Epigram and Agda.")
idris-path-files))
(install-cmd (cons* idris-bin
"--ibcsubdir" ibcsubdir
- "--install" ipkg
+ "--build" ipkg
+ ;; only trigger a build, as --ibcsubdir
+ ;; already installs .ibc files.
+
(apply append (map (lambda (path)
(list "--idrispath"
path))
idris-path-subdirs)))))
- (setenv "IDRIS_LIBRARY_PATH" idris-libs)
;; FIXME: Seems to be a bug in idris that causes a dubious failure.
(apply system* install-cmd)
#t))))))
--
2.12.2
--- End Message ---