From unknown Sun Sep 14 01:30:06 2025 X-Loop: help-debbugs@gnu.org Subject: bug#26507: [PATCH 2/2] gnu: idris: Fix idris-default-arguments. Resent-From: Peter Mikkelsen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 15 Apr 2017 00:32:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 26507 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 26505@debbugs.gnu.org, 26507@debbugs.gnu.org Cc: Peter Mikkelsen X-Debbugs-Original-To: 26505@debbugs.gnu.org, guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.149221629325638 (code B ref -1); Sat, 15 Apr 2017 00:32:02 +0000 Received: (at submit) by debbugs.gnu.org; 15 Apr 2017 00:31:33 +0000 Received: from localhost ([127.0.0.1]:47611 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBcj-0006fR-7i for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:31:33 -0400 Received: from eggs.gnu.org ([208.118.235.92]:54361) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBci-0006f4-Do for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:31:32 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1czBcc-0000wZ-EN for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:31:27 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_50, FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:42955) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1czBcc-0000wV-B8 for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:31:26 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:45328) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1czBcb-0003wW-FG for guix-patches@gnu.org; Fri, 14 Apr 2017 20:31:26 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1czBcY-0000ur-DX for guix-patches@gnu.org; Fri, 14 Apr 2017 20:31:25 -0400 Received: from mail-lf0-x242.google.com ([2a00:1450:4010:c07::242]:34645) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1czBcY-0000uF-4J for guix-patches@gnu.org; Fri, 14 Apr 2017 20:31:22 -0400 Received: by mail-lf0-x242.google.com with SMTP id x72so11258622lfb.1 for ; Fri, 14 Apr 2017 17:31:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id; bh=rA3DmS8AZyV0H91ToqbwEnyBjwkNmy1tKPsLy3zgdnc=; b=SI2ZCm500KLiQzt0UFOPVhGAKA52I0Mdf7rFwNPGr8Q7NTaAoEn0BTlnnj91b4FGPb kzyIISCRfcepM7SImfmeD7NyUPMDG/Lnp3+l+aOvk3vnocR0uJ1FIotdh7z/DH7xTH7f 0v3Dvf9bEv05XXKiTkbBRiV+Op5icrmvKogQ/p1q+Sy4nZe2sbErf7IwbE7BdvA9zHlu lI2OPZNtKyluQz4EVT/M6lMv1r3Y7VcN82zD1RkWFiU9Uuc3xSKPvyYzvJkIkMFzOfJB EWyDs5pAaJBr/Z47mnLBa4cpac3E3F46+5n9VorUZDcTQfdvot4uURKMFcfUu6hTge3i sTiQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id; bh=rA3DmS8AZyV0H91ToqbwEnyBjwkNmy1tKPsLy3zgdnc=; b=Z4Mh1Kz7ctHH5xq6Ot1sohFyt6ABLF2r6QNQepn75nM2zEzgmujql3e1cbDj5Nbci5 fl+Ko4n4zsr3IIXPUfjrxLO0LzzmurnudzyRahOzTnhgaMIYdv2nYFVDZ++ULyht0/lV J8Q7Z+IZJH98TwNTUeTknnWkoQDuGDBw6RaswzF04CrTUFjh/tzzu2gPQZfmBUDmD2DD leURBenRjlrnQ4YD9Edau+H0yIVDurx7RUf07aKoMX9qN4LcyBgQply3tvciw+lR9Hyj PFwyCKop6WsmpCtslWZmiai/CXhhbnX9bogs9zx3FN+h3uYttTJhc8CQTXcd5YjF7uz0 S1Rw== X-Gm-Message-State: AN3rC/5SeLg+r1qesHn/x8u25R/ioDHQQ14rfYQwsWlVtsfJl1R4urb9 Ryrfto7VASntyAKD1itOvw== X-Received: by 10.46.82.132 with SMTP id n4mr52209lje.29.1492216280982; Fri, 14 Apr 2017 17:31:20 -0700 (PDT) Received: from localhost.localdomain (0x4dd5279e.adsl.cybercity.dk. [77.213.39.158]) by smtp.gmail.com with ESMTPSA id 191sm652799lfz.44.2017.04.14.17.31.19 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 14 Apr 2017 17:31:20 -0700 (PDT) From: Peter Mikkelsen Date: Sat, 15 Apr 2017 04:31:19 +0200 Message-Id: <20170415023119.9761-1-petermikkelsen10@gmail.com> X-Mailer: git-send-email 2.12.2 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -3.8 (---) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.8 (---) * 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 From unknown Sun Sep 14 01:30:06 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Peter Mikkelsen Subject: bug#26507: closed (Closing duplicate bug) Message-ID: References: <20170415023119.9761-1-petermikkelsen10@gmail.com> X-Gnu-PR-Message: they-closed 26507 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 26507@debbugs.gnu.org Date: Sat, 15 Apr 2017 00:53:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1492217582-27547-1" This is a multi-part message in MIME format... ------------=_1492217582-27547-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #26507: [PATCH 2/2] gnu: idris: Fix idris-default-arguments. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 26507@debbugs.gnu.org. --=20 26507: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D26507 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1492217582-27547-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 26507-done) by debbugs.gnu.org; 15 Apr 2017 00:52:41 +0000 Received: from localhost ([127.0.0.1]:47631 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBxB-00079Z-8R for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:52:41 -0400 Received: from mail-it0-f51.google.com ([209.85.214.51]:38291) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBx9-00079M-SW for 26507-done@debbugs.gnu.org; Fri, 14 Apr 2017 20:52:40 -0400 Received: by mail-it0-f51.google.com with SMTP id e132so2331007ite.1 for <26507-done@debbugs.gnu.org>; Fri, 14 Apr 2017 17:52:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to; bh=Ego8xRrSxo5iSk2OcgsMcJW+Myl08jc6gee86YNq3TQ=; b=rdtNRm2a46sIIRs2UjqADOejvel6IvxL90rowrCr1PWr6yW+7Hh0i9fPyyKmshT0Te EFdxdLhCUGUKPhWgHHDykSTs4YaEH29E1bykrUFnUYtre0yOuh50l9zil6kRXcP9T3s8 Mi3qJsr4nt0xoiICZJC4s1YzApb5+bX3kLjrN8bPY8Nd+8ldP++2UScM9gw/vt6FIJZx 7luDHr1lCSNmdQIbMEYtET5290HhcDPZci8YCWgQygTC0DJlF5M8n1FplZ3WJ1mt4yXK F0GmM2lWStXCi1VQV+mXCGI5H2OaP0PjAaOgiR/K0/SX4RyIOOe8wI0QgSaKC0Ik0RSe O7/w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to; bh=Ego8xRrSxo5iSk2OcgsMcJW+Myl08jc6gee86YNq3TQ=; b=lvddc/BvJGP+eSiSqtw3KeVNEuEiQOnlxyIIGzQ/RaptO8tEhDo00ze42ybuEh3yV6 DLGVx6Uo4KGE2xB6Q4qkxqsLhPri2x6Rx7kb7bWCvzCL8bn5+Pug6EsxETstkw+ifk0Z CMA2yTc070ChmslaosaQ0q7i1qx/RBeve8n2ZAR3tIiweQqc/HbhHC4x69beHN109qKA 8jeZXWEKvEGQxpv/ec7tp0edRKBQokH751Gz7iuKHZLwLJFgwHqlzDOOlyyJVUm56krB fsP/wW5k+y1U1sqtbffNMz3nkdUUb6Ozh91up8wfB5/KeQxiisxHChf4wk0bHfyb2r/D p2wQ== X-Gm-Message-State: AN3rC/4+i2kdYdI6lykTFCw5DTQf2NIi1ytyFQFKCY8uPz2w46Gjdt+k 6PXTBPcSqhbMRTnsiw1qqBpMv4Hoqsig X-Received: by 10.36.124.139 with SMTP id a133mr243096itd.84.1492217554347; Fri, 14 Apr 2017 17:52:34 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.78.135 with HTTP; Fri, 14 Apr 2017 17:52:33 -0700 (PDT) Received: by 10.79.78.135 with HTTP; Fri, 14 Apr 2017 17:52:33 -0700 (PDT) In-Reply-To: References: From: Peter Mikkelsen Date: Sat, 15 Apr 2017 02:52:33 +0200 Message-ID: Subject: Closing duplicate bug To: 26507-done@debbugs.gnu.org Content-Type: multipart/alternative; boundary=001a114aba5e412ff4054d29f967 X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 26507-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.7 (/) --001a114aba5e412ff4054d29f967 Content-Type: text/plain; charset=UTF-8 Closing as this is a duplicate of 26505 --001a114aba5e412ff4054d29f967 Content-Type: text/html; charset=UTF-8
Closing as this is a duplicate of 26505

--001a114aba5e412ff4054d29f967-- ------------=_1492217582-27547-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 15 Apr 2017 00:31:33 +0000 Received: from localhost ([127.0.0.1]:47611 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBcj-0006fR-7i for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:31:33 -0400 Received: from eggs.gnu.org ([208.118.235.92]:54361) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1czBci-0006f4-Do for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:31:32 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1czBcc-0000wZ-EN for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:31:27 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_50, FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:42955) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1czBcc-0000wV-B8 for submit@debbugs.gnu.org; Fri, 14 Apr 2017 20:31:26 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:45328) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1czBcb-0003wW-FG for guix-patches@gnu.org; Fri, 14 Apr 2017 20:31:26 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1czBcY-0000ur-DX for guix-patches@gnu.org; Fri, 14 Apr 2017 20:31:25 -0400 Received: from mail-lf0-x242.google.com ([2a00:1450:4010:c07::242]:34645) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1czBcY-0000uF-4J for guix-patches@gnu.org; Fri, 14 Apr 2017 20:31:22 -0400 Received: by mail-lf0-x242.google.com with SMTP id x72so11258622lfb.1 for ; Fri, 14 Apr 2017 17:31:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id; bh=rA3DmS8AZyV0H91ToqbwEnyBjwkNmy1tKPsLy3zgdnc=; b=SI2ZCm500KLiQzt0UFOPVhGAKA52I0Mdf7rFwNPGr8Q7NTaAoEn0BTlnnj91b4FGPb kzyIISCRfcepM7SImfmeD7NyUPMDG/Lnp3+l+aOvk3vnocR0uJ1FIotdh7z/DH7xTH7f 0v3Dvf9bEv05XXKiTkbBRiV+Op5icrmvKogQ/p1q+Sy4nZe2sbErf7IwbE7BdvA9zHlu lI2OPZNtKyluQz4EVT/M6lMv1r3Y7VcN82zD1RkWFiU9Uuc3xSKPvyYzvJkIkMFzOfJB EWyDs5pAaJBr/Z47mnLBa4cpac3E3F46+5n9VorUZDcTQfdvot4uURKMFcfUu6hTge3i sTiQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id; bh=rA3DmS8AZyV0H91ToqbwEnyBjwkNmy1tKPsLy3zgdnc=; b=Z4Mh1Kz7ctHH5xq6Ot1sohFyt6ABLF2r6QNQepn75nM2zEzgmujql3e1cbDj5Nbci5 fl+Ko4n4zsr3IIXPUfjrxLO0LzzmurnudzyRahOzTnhgaMIYdv2nYFVDZ++ULyht0/lV J8Q7Z+IZJH98TwNTUeTknnWkoQDuGDBw6RaswzF04CrTUFjh/tzzu2gPQZfmBUDmD2DD leURBenRjlrnQ4YD9Edau+H0yIVDurx7RUf07aKoMX9qN4LcyBgQply3tvciw+lR9Hyj PFwyCKop6WsmpCtslWZmiai/CXhhbnX9bogs9zx3FN+h3uYttTJhc8CQTXcd5YjF7uz0 S1Rw== X-Gm-Message-State: AN3rC/5SeLg+r1qesHn/x8u25R/ioDHQQ14rfYQwsWlVtsfJl1R4urb9 Ryrfto7VASntyAKD1itOvw== X-Received: by 10.46.82.132 with SMTP id n4mr52209lje.29.1492216280982; Fri, 14 Apr 2017 17:31:20 -0700 (PDT) Received: from localhost.localdomain (0x4dd5279e.adsl.cybercity.dk. [77.213.39.158]) by smtp.gmail.com with ESMTPSA id 191sm652799lfz.44.2017.04.14.17.31.19 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 14 Apr 2017 17:31:20 -0700 (PDT) From: Peter Mikkelsen To: 26505@debbugs.gnu.org, guix-patches@gnu.org Subject: [PATCH 2/2] gnu: idris: Fix idris-default-arguments. Date: Sat, 15 Apr 2017 04:31:19 +0200 Message-Id: <20170415023119.9761-1-petermikkelsen10@gmail.com> X-Mailer: git-send-email 2.12.2 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -3.8 (---) X-Debbugs-Envelope-To: submit Cc: Peter Mikkelsen X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.8 (---) * 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 ------------=_1492217582-27547-1--