GNU bug report logs - #22017
Pinning a Guix version

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: guix; Severity: wishlist; Reported by: ludo@HIDDEN (Ludovic Courtès); dated Thu, 26 Nov 2015 13:32:02 UTC; Maintainer for guix is bug-guix@HIDDEN.
Severity set to 'wishlist' from 'normal' Request was from ludo@HIDDEN (Ludovic Courtès) to control <at> debbugs.gnu.org. Full text available.

Message received at 22017 <at> debbugs.gnu.org:


Received: (at 22017) by debbugs.gnu.org; 26 Nov 2015 14:04:37 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Nov 26 09:04:37 2015
Received: from localhost ([127.0.0.1]:53492 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.80)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1a1xA4-0003z4-TJ
	for submit <at> debbugs.gnu.org; Thu, 26 Nov 2015 09:04:37 -0500
Received: from eggs.gnu.org ([208.118.235.92]:56991)
 by debbugs.gnu.org with esmtp (Exim 4.80)
 (envelope-from <ludo@HIDDEN>) id 1a1x9k-0003yU-Qc
 for 22017 <at> debbugs.gnu.org; Thu, 26 Nov 2015 09:04:35 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <ludo@HIDDEN>) id 1a1x9h-0006EC-EX
 for 22017 <at> debbugs.gnu.org; Thu, 26 Nov 2015 09:04:16 -0500
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD
 autolearn=disabled version=3.3.2
Received: from fencepost.gnu.org ([2001:4830:134:3::e]:39632)
 by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@HIDDEN>)
 id 1a1x9h-0006E8-BD
 for 22017 <at> debbugs.gnu.org; Thu, 26 Nov 2015 09:04:13 -0500
Received: from pluto.bordeaux.inria.fr ([193.50.110.57]:48206 helo=pluto)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128)
 (Exim 4.82) (envelope-from <ludo@HIDDEN>) id 1a1x9g-0004Ae-Nz
 for 22017 <at> debbugs.gnu.org; Thu, 26 Nov 2015 09:04:13 -0500
From: ludo@HIDDEN (Ludovic =?utf-8?Q?Court=C3=A8s?=)
To: 22017 <at> debbugs.gnu.org
Subject: Re: bug#22017: Pinning a Guix version
References: <87egfcyjjk.fsf@HIDDEN>
Date: Thu, 26 Nov 2015 15:04:11 +0100
In-Reply-To: <87egfcyjjk.fsf@HIDDEN> ("Ludovic
 \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\=
 \=\?utf-8\?Q\?s\?\= message of "Thu, 26 Nov 2015 14:30:55 +0100")
Message-ID: <87bnagx3fo.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
 (bad octet value).
X-Received-From: 2001:4830:134:3::e
X-Spam-Score: -6.0 (------)
X-Debbugs-Envelope-To: 22017
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -6.0 (------)

See <http://permalink.gmane.org/gmane.linux.distributions.nixos/18703>
for a good source of inspiration!

Ludo=E2=80=99.




Information forwarded to bug-guix@HIDDEN:
bug#22017; Package guix. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 26 Nov 2015 13:31:24 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Nov 26 08:31:24 2015
Received: from localhost ([127.0.0.1]:53479 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.80)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1a1wdv-0003DG-N2
	for submit <at> debbugs.gnu.org; Thu, 26 Nov 2015 08:31:24 -0500
Received: from eggs.gnu.org ([208.118.235.92]:48240)
 by debbugs.gnu.org with esmtp (Exim 4.80)
 (envelope-from <ludo@HIDDEN>) id 1a1wdb-0003Co-7K
 for submit <at> debbugs.gnu.org; Thu, 26 Nov 2015 08:31:21 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <ludo@HIDDEN>) id 1a1wdZ-0006RM-UE
 for submit <at> debbugs.gnu.org; Thu, 26 Nov 2015 08:31:02 -0500
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD
 autolearn=disabled version=3.3.2
Received: from lists.gnu.org ([2001:4830:134:3::11]:41166)
 by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@HIDDEN>)
 id 1a1wdZ-0006RI-RG
 for submit <at> debbugs.gnu.org; Thu, 26 Nov 2015 08:31:01 -0500
Received: from eggs.gnu.org ([2001:4830:134:3::10]:58236)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <ludo@HIDDEN>) id 1a1wdY-0001FO-UZ
 for bug-guix@HIDDEN; Thu, 26 Nov 2015 08:31:01 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <ludo@HIDDEN>) id 1a1wdV-0006PU-MX
 for bug-guix@HIDDEN; Thu, 26 Nov 2015 08:31:00 -0500
Received: from fencepost.gnu.org ([2001:4830:134:3::e]:39232)
 by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@HIDDEN>)
 id 1a1wdV-0006PQ-Jt
 for bug-guix@HIDDEN; Thu, 26 Nov 2015 08:30:57 -0500
Received: from pluto.bordeaux.inria.fr ([193.50.110.57]:47818 helo=pluto)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128)
 (Exim 4.82) (envelope-from <ludo@HIDDEN>) id 1a1wdV-0006Mi-4y
 for bug-guix@HIDDEN; Thu, 26 Nov 2015 08:30:57 -0500
From: ludo@HIDDEN (Ludovic =?utf-8?Q?Court=C3=A8s?=)
To: bug-guix@HIDDEN
Subject: Pinning a Guix version
X-URL: http://www.fdn.fr/~lcourtes/
X-Revolutionary-Date: 6 Frimaire an 224 de la =?utf-8?Q?R=C3=A9volution?=
X-PGP-Key-ID: 0x3D9AEBB5
X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc
X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4  0CFB 090B 1199 3D9A EBB5
X-OS: x86_64-unknown-linux-gnu
Date: Thu, 26 Nov 2015 14:30:55 +0100
Message-ID: <87egfcyjjk.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
 (bad octet value).
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
 (bad octet value).
X-Received-From: 2001:4830:134:3::11
X-Spam-Score: -6.0 (------)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -6.0 (------)

Hello!

In some cases, it=E2=80=99s useful to be able to pin a particular Guix vers=
ion
and to use that version (see the RepPar paper for some examples.)

A naive way to do that is:

  git clone =E2=80=A6/guix.git my-pinned-guix
  (cd my-pinned-guix; git checkout deadbeef)
  guix package -L my-pinned-guix --manifest=3Dmy-manifest.scm

However, this is currently broken for several reasons:

  1. =E2=80=98fold-packages=E2=80=99 recursively traverses =E2=80=98my-pinn=
ed-guix=E2=80=99 for .scm
     files, and on its way it finds build-aux/build-self.scm,
     tests/*.scm, and emacs/*.scm, which breaks it all.  These
     directories have to be explicitly removed before we can do
     something.

     Internally, =E2=80=98%package-module-path=E2=80=99 can have entries th=
at are pairs
     and where the cdr restricts the search of .scm files to a
     sub-directory.  We should expose that facility to -L and
     =E2=80=98GUIX_PACKAGE_PATH=E2=80=99 using some special syntax.

     That way, one could do (say):

       guix package -L my-pinned-guix,gnu/packages

     meaning that only the =E2=80=98gnu/packages=E2=80=99 sub-directory is =
searched.

     OTOH, it may be advisable to use the (guix =E2=80=A6) modules from
     =E2=80=98my-pinned-guix=E2=80=99 and not just the (gnu packages =E2=80=
=A6) modules, because
     the former obviously contribute to the final result.

  2. The =E2=80=98gnu/packages/patches=E2=80=99 sub-directory is not automa=
tically added
     to the search path, so in fact one has to run:

       guix package -L my-pinned-guix \
         -L my-pinned-guix/gnu/packages/patches =E2=80=A6
=20=20
     so that patches are found.  Not convenient.

  3. When doing so, we get loads of:

     ;;; note: source file /tmp/guix/guix/build/perl-build-system.scm
     ;;;       newer than compiled /home/ludo/src/guix/guix/build/perl-buil=
d-system.go

     We should silence Guile.

  4. Related to #1: since everything is evaluated, this is ~10 times
     slower than the normal thing.

I think =E2=80=98guix pull=E2=80=99 would be a good place to add support fo=
r tagging
Guixes and similar, but it would be good if the naive approach above
would work just as well.

Ludo=E2=80=99.




Acknowledgement sent to ludo@HIDDEN (Ludovic Courtès):
New bug report received and forwarded. Copy sent to bug-guix@HIDDEN. Full text available.
Report forwarded to bug-guix@HIDDEN:
bug#22017; Package guix. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Fri, 12 Feb 2016 14:30:02 UTC

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