summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gnu/packages/idris.scm6
1 files changed, 4 insertions, 2 deletions
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
index 4e3a4fddbe..de9b5dd1d0 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))))))