[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#26507: [PATCH 2/2] gnu: idris: Fix idris-default-arguments.
From: |
Peter Mikkelsen |
Subject: |
bug#26507: [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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#26507: [PATCH 2/2] gnu: idris: Fix idris-default-arguments.,
Peter Mikkelsen <=