* bug#26507: [PATCH 2/2] gnu: idris: Fix idris-default-arguments.
@ 2017-04-15 2:31 Peter Mikkelsen
0 siblings, 0 replies; only message in thread
From: Peter Mikkelsen @ 2017-04-15 2:31 UTC (permalink / raw)
To: 26505, 26507
* 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
^ permalink raw reply related [flat|nested] only message in thread
only message in thread, other threads:[~2017-04-15 0:32 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-04-15 2:31 bug#26507: [PATCH 2/2] gnu: idris: Fix idris-default-arguments Peter Mikkelsen
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).