summaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorPeter Mikkelsen <petermikkelsen10@gmail.com>2017-04-15 04:31:19 +0200
committerMarius Bakke <mbakke@fastmail.com>2017-04-15 19:46:40 +0200
commit178670c9ebf4c4037510aab96cfb7e4f55586331 (patch)
tree459fbc744492f0013060ca724365c2a6998e776b /gnu/packages/idris.scm
parentb74f224744361a08cce36bb74460ef41db3eb27d (diff)
downloadpatches-178670c9ebf4c4037510aab96cfb7e4f55586331.tar
patches-178670c9ebf4c4037510aab96cfb7e4f55586331.tar.gz
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>
Diffstat (limited to 'gnu/packages/idris.scm')
-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))))))