From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=)
Subject: bug#18747: [PATCH] Distinguish between
	=?UTF-8?Q?=E2=80=9Coffloadability=E2=80=9D?= and
	=?UTF-8?Q?=E2=80=9Csubstitutability=E2=80=9D?=
Date: Wed, 01 Jul 2015 23:14:43 +0200
Message-ID: <877fqjmvgc.fsf__32350.0930135653$1435785327$gmane$org@gnu.org>
References: <87h9z4594k.fsf@gnu.org> <874mv458bo.fsf@gnu.org>
	<87lhog3tmd.fsf@gnu.org> <87d20boqcw.fsf_-_@gnu.org>
	<559406C6.7040209@logicblox.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:40822)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1ZAPLX-0003yK-WD
	for bug-guix@gnu.org; Wed, 01 Jul 2015 17:15:09 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1ZAPLU-0000Qe-Ka
	for bug-guix@gnu.org; Wed, 01 Jul 2015 17:15:07 -0400
Received: from debbugs.gnu.org ([140.186.70.43]:35015)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1ZAPLU-0000QB-HO
	for bug-guix@gnu.org; Wed, 01 Jul 2015 17:15:04 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1ZAPLT-0007WE-TV
	for bug-guix@gnu.org; Wed, 01 Jul 2015 17:15:04 -0400
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.18747.B18747.143578530028877@debbugs.gnu.org>
In-Reply-To: <559406C6.7040209@logicblox.com> (Eelco Dolstra's message of
	"Wed, 01 Jul 2015 17:27:02 +0200")
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
To: Eelco Dolstra <eelco.dolstra@logicblox.com>
Cc: 18747@debbugs.gnu.org, nix-dev@lists.science.uu.nl

Eelco Dolstra <eelco.dolstra@logicblox.com> skribis:

> On 01/07/15 17:21, Ludovic Court=C3=A8s wrote:
>
>> Nix commit 55586527 (June 2013) changed the semantics of
>> =E2=80=98preferLocalBuild=E2=80=99 from =E2=80=9Cavoid offloading this d=
erivation=E2=80=9D to =E2=80=9Cavoid
>> offloading *or substituting* this derivation=E2=80=9D (see
>> <http://bugs.gnu.org/18747>.)
>>=20
>> This patch introduces a new special key, =E2=80=98substitution=E2=80=99,=
 to specify
>> whether a derivation should be substituted.  =E2=80=98preferLocalBuild=
=E2=80=99 is kept,
>> but its initial semantics is restored.
>
> Have you seen
> https://github.com/NixOS/nix/commit/b64988bb3585478676585a0f0aecbcf4e11d4=
432,
> which essentially does the same thing?

I hadn=E2=80=99t, but that=E2=80=99s perfect=E2=80=93we=E2=80=99re on the s=
ame page.  ;-)

Thanks!

Ludo=E2=80=99.