From mboxrd@z Thu Jan  1 00:00:00 1970
From: Julien Lepiller <julien@lepiller.eu>
Subject: bug#33262: guix fails to find and use some available substitutes
Date: Mon, 05 Nov 2018 19:45:54 +0100
Message-ID: <D79A075E-AB72-498C-8DFB-9BCD6B7F2C32@lepiller.eu>
References: <cuco9b449ej.fsf@gmail.com>
	<5C395E1E-9E2B-4696-8FC8-9EA4046A20C3@lepiller.eu>
	<cucpnvj4ez2.fsf@gmail.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]:43245)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1gJjt3-0008FF-6M
	for bug-guix@gnu.org; Mon, 05 Nov 2018 13:46:10 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1gJjsy-0001Ua-3S
	for bug-guix@gnu.org; Mon, 05 Nov 2018 13:46:09 -0500
Received: from debbugs.gnu.org ([208.118.235.43]:59577)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1gJjsx-0001TY-Ty
	for bug-guix@gnu.org; Mon, 05 Nov 2018 13:46:03 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1gJjsx-0008Bz-QK
	for bug-guix@gnu.org; Mon, 05 Nov 2018 13:46:03 -0500
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.33262.B33262.154144356231464@debbugs.gnu.org>
In-Reply-To: <cucpnvj4ez2.fsf@gmail.com>
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" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: George Clemmer <myglc2@gmail.com>
Cc: 33262@debbugs.gnu.org

Exactly!

Le 5 novembre 2018 18:21:53 GMT+01:00, George Clemmer <myglc2@gmail=2Ecom>=
 a =C3=A9crit :
>
>Julien Lepiller <julien@lepiller=2Eeu> writes:
>
>> I think guix' message is a bit confusing: the =2Edrv file is always
>> created by guix, it's the derivation=2E The derivation is built, which
>> results in a new store path=2E It can be built locally or by using a
>> substitute=2E What you see in your store is the derivation (=2Edrv), no=
t
>> its result=2E You can open that file to find where the result will be
>> stored and check if it exists on your machine=2E
>
>Hi Julien,
>
>Thank you=2E You are right, the =2Edrv "out" substitute is not on my
>local server=2E So this is not a bug=2E SORRY for the noise ;-)
>
>After re-reading (guix) Derivations, I see I had a wrong impression:
>that the presence of a =2Edrv indicates a successful build=2E But AIUI no=
w
>it only means that at some point in the past we attempted to build the
>=2Edrv=2E IOW, we will also have =2Edrv files for all failed builds=2E
>
>Is that correct?
>
>Thanks! - George