GNU bug report logs - #26507
[PATCH 2/2] gnu: idris: Fix idris-default-arguments.

Previous Next

Package: guix-patches;

Reported by: Peter Mikkelsen <petermikkelsen10 <at> gmail.com>

Date: Sat, 15 Apr 2017 00:32:02 UTC

Severity: normal

Tags: patch

Done: Peter Mikkelsen <petermikkelsen10 <at> gmail.com>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 26507 in the body.
You can then email your comments to 26507 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#26507; Package guix-patches. (Sat, 15 Apr 2017 00:32:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to Peter Mikkelsen <petermikkelsen10 <at> gmail.com>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Sat, 15 Apr 2017 00:32:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Peter Mikkelsen <petermikkelsen10 <at> gmail.com>
To: 26505 <at> debbugs.gnu.org,
	guix-patches <at> gnu.org
Cc: Peter Mikkelsen <petermikkelsen10 <at> gmail.com>
Subject: [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
Reply sent to Peter Mikkelsen <petermikkelsen10 <at> gmail.com>:
You have taken responsibility. (Sat, 15 Apr 2017 00:53:02 GMT) Full text and rfc822 format available.
Notification sent to Peter Mikkelsen <petermikkelsen10 <at> gmail.com>:
bug acknowledged by developer. (Sat, 15 Apr 2017 00:53:02 GMT) Full text and rfc822 format available.

Message #10 received at 26507-done <at> debbugs.gnu.org (full text, mbox):

From: Peter Mikkelsen <petermikkelsen10 <at> gmail.com>
To: 26507-done <at> debbugs.gnu.org
Subject: Closing duplicate bug
Date: Sat, 15 Apr 2017 02:52:33 +0200

[Message part 1 (text/plain, inline)]
Closing as this is a duplicate of 26505

[Message part 2 (text/html, inline)]
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sat, 13 May 2017 11:24:03 GMT) Full text and rfc822 format available.
This bug report was last modified 8 years and 125 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.