diff options
| author | Peter Mikkelsen <petermikkelsen10@gmail.com> | 2017-04-15 04:31:19 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2017-04-15 19:46:40 +0200 |
| commit | 178670c9ebf4c4037510aab96cfb7e4f55586331 (patch) | |
| tree | 459fbc744492f0013060ca724365c2a6998e776b /gnu | |
| parent | b74f224744361a08cce36bb74460ef41db3eb27d (diff) | |
| download | patches-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')
| -rw-r--r-- | gnu/packages/idris.scm | 6 |
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)))))) |