GNU bug report logs - #26505
[PATCH 0/2] Update idris to 1.0 and fix default arguments

Previous Next

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

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

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

From: Peter Mikkelsen <petermikkelsen10 <at> gmail.com>
To: guix-patches <at> gnu.org
Cc: Peter Mikkelsen <petermikkelsen10 <at> gmail.com>
Subject: [PATCH 0/2] Update idris to 1.0 and fix default arguments
Date: Sat, 15 Apr 2017 04:27:43 +0200

The following two patches updates idris to 1.0, and fixes the default
arguments used for building idris packages.

Peter Mikkelsen (2):
  gnu: idris: Update to 1.0.
  gnu: idris: Fix idris-default-arguments.

 gnu/packages/idris.scm | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

--
2.12.2

Message #8 received at 26505 <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 1/2] gnu: idris: Update to 1.0.
Date: Sat, 15 Apr 2017 04:30:38 +0200

* gnu/packages/idris.scm (idris): Update to 1.0.
---
 gnu/packages/idris.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
index 2b7f4cc9d..4e3a4fddb 100644
--- a/gnu/packages/idris.scm
+++ b/gnu/packages/idris.scm
@@ -31,7 +31,7 @@
 (define-public idris
   (package
     (name "idris")
-    (version "0.99.1")
+    (version "1.0")
     (source (origin
               (method url-fetch)
               (uri (string-append
@@ -39,7 +39,7 @@
                     "idris-" version "/idris-" version ".tar.gz"))
               (sha256
                (base32
-                "12kw452arnl5ldip2x749j5np3l40bv7asqdv9w0f60j45hii40r"))))
+                "1srbz0cyvd0k1yqgbrwnfj94yg5y3z533q1kzac96z1h7v454s5h"))))
     (build-system haskell-build-system)
     (inputs
      `(("gmp" ,gmp)
-- 
2.12.2

Message #11 received at 26505 <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

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

From: Marius Bakke <mbakke <at> fastmail.com>
To: Peter Mikkelsen <petermikkelsen10 <at> gmail.com>, 26505-done <at> debbugs.gnu.org
Subject: Re: bug#26505: [PATCH 0/2] Update idris to 1.0 and fix default
 arguments
Date: Sat, 15 Apr 2017 19:46:30 +0200

[Message part 1 (text/plain, inline)]

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

> The following two patches updates idris to 1.0, and fixes the default
> arguments used for building idris packages.

Pushed, thanks!

[signature.asc (application/pgp-signature, inline)]

Previous Next

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