From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id EGO6CZbAvl5tMAAA0tVLHw (envelope-from ) for ; Fri, 15 May 2020 16:17:26 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id yHeSBZbAvl6BVwAA1q6Kng (envelope-from ) for ; Fri, 15 May 2020 16:17:26 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id A47FA940146 for ; Fri, 15 May 2020 16:17:25 +0000 (UTC) Received: from localhost ([::1]:58336 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jZd1Y-0007sQ-K0 for larch@yhetil.org; Fri, 15 May 2020 12:17:24 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34146) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jZd1P-0007rk-MD for guix-devel@gnu.org; Fri, 15 May 2020 12:17:15 -0400 Received: from mail-qt1-x833.google.com ([2607:f8b0:4864:20::833]:42073) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jZd1O-0006fw-NZ for guix-devel@gnu.org; Fri, 15 May 2020 12:17:15 -0400 Received: by mail-qt1-x833.google.com with SMTP id x12so2393886qts.9 for ; Fri, 15 May 2020 09:17:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=hENS6aNDUhl5UzgLmCPX7z6wmkdKwF5XwHE95rVDwUI=; b=crBH/RJHAC/MaXrk7qVnD691MPhOcV0OZ1PTBlFbdavT+Dz+QLdnwCCWeEy8e+mZJd eH16dVD5baoEP8/JcVGU569EPtgfBgAugWch4e/NGjMkwZqG4vCm93YMVbd96mT2IIO4 usqXTOx8/bDVTMQdsxsCVwQ/IRQaoStqXvfMw6Bcdo7R8RjaJZfm+9pTEO2tgqX2/zvo VRGeQsQrEfqEMtW0eguFCjvjDXXZA5dwBIIyNUmMaARGUSr/nzp3F6e0Xa/rNuZVEKNQ 0TftpvzejDp0nFcwRKnkzC3knDp58puE87B8We0odxHLxRuYTVLlKhtSraasdOhZPfBI npRA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=hENS6aNDUhl5UzgLmCPX7z6wmkdKwF5XwHE95rVDwUI=; b=hqVjpv43wWsuJN2RxzqE5YmLKFnNaND0VVOK5NuSHIgh57WqbbdmRkHbH7bOFx/ChF zybUy9ARe1/+6arA3DWZfAHctZ+20DJzB4jbSJfZNRRGTWFgwtfyhurKPsyxR6/SNpHW 87pR5/SVVlxclJcnN64m0/0NNM1jVkEPw4Les0taqblffA3GauAUHmJqHx+1+ozE3jJD 7Dp0iBjH4eQxEWTMStHIt8LTHMMTNF8EBXQhhR2uuZu+Futg1VcCDUlyjCVOebk1Ms3T S5VzJrmr1zsO8WwWZTT4HZDnWxyyYmAkVnzdQ8n3ykdW1gcXPUxIZ5t+nu+uV5vyUzsC 2HIg== X-Gm-Message-State: AOAM533YcMJeKfmwoWJk8t27U1BOcpc6vqVJkCMYkjdvwHtjDVrrJDt/ eRg++OPVQ/paSYF94xjewqONtt7f7/qvN/jFj0dXdQ== X-Google-Smtp-Source: ABdhPJzLPQBilUy55wpabPxsAKO2p3z1shlkV3pDRSRMahh6XFa1n47ZHWJFHbVIzTmtMXMniUFvWDam7AoL6fFUUmA= X-Received: by 2002:aed:2d44:: with SMTP id h62mr4306928qtd.217.1589559433468; Fri, 15 May 2020 09:17:13 -0700 (PDT) MIME-Version: 1.0 References: <87v9kx7jh5.fsf@alice.lan> <87mu696w6w.fsf@alice.lan> In-Reply-To: <87mu696w6w.fsf@alice.lan> From: zimoun Date: Fri, 15 May 2020 18:17:01 +0200 Message-ID: Subject: Re: What to do when udpating a package ? To: Edouard Klein Content-Type: text/plain; charset="UTF-8" Received-SPF: pass client-ip=2607:f8b0:4864:20::833; envelope-from=zimon.toutoune@gmail.com; helo=mail-qt1-x833.google.com X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=_AUTOLEARN X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=crBH/RJH; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -0.71 X-TUID: ALTL02jed7tU On Fri, 15 May 2020 at 17:43, Edouard Klein wrote: > I could not find the link to the raw log, but having access to the > "official" build status is a huge relief, as I can stop worrying that > the build failure is my fault. This is exactly what I was looking for. > Thank you ! I have cheated a bit because with this example, there is not raw -- I do not know why. But you get the principle. :-) > >> --> Is there a way to check the graph to make the edges as > >> sparse as possible (i.e. remove as many edges as possible without > >> changing the reachability) ? Would this be something we want ? > >> According to me it would because it would make the packages > >> definitions shorter and the computations on the graph faster, but I'm > >> not sure. > > > > What do you mean by "reachability"? > > There is a new feature to "guix graph": '--path'. You can find the > > shortest path from one package to another, e.g., > > > > guix graph --path guix-jupyter python > > > > What do you mean by "the edges as sparse as possible"? > > > > > So if A depends on B and C, and B also depends on C, which is preferable > as far as explicit input declarations in the packages code go: > -- (1) > A->B; > B->C; (2) > A->B; > A->C; > B->C; If A depends on B *and* C, then (1) should not work. Well, it depends on how A depends* on C and what C propagates. If I understand correctly. *build-time or runtime. > The reachability (in the graph theoretical sense > https://en.wikipedia.org/wiki/Reachability) is the same, but one graph > has one edge less and is thus "minimal". If I understood Julien correctly he seems to think > that the fully connected case is better (easier maintainability). Well, does "guix graph --path" cover your expectation about reachability? Because "guix graph --path" computes the shortest path -- graph theory meaning -- from s to t. So if the path is not empty, then t is reachable from s. All the best, simon