From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id QB1ND0DVNWONNQEAbAwnHQ (envelope-from ) for ; Thu, 29 Sep 2022 19:26:24 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id KDUgD0DVNWMZEAAAauVa8A (envelope-from ) for ; Thu, 29 Sep 2022 19:26:24 +0200 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 025891DAFD for ; Thu, 29 Sep 2022 19:26:24 +0200 (CEST) Received: from localhost ([::1]:59998 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1odxIl-0003cc-4Z for larch@yhetil.org; Thu, 29 Sep 2022 13:26:23 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:53984) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1odx6o-0007Cs-Ef for guix-patches@gnu.org; Thu, 29 Sep 2022 13:14:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40424) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1odx6o-0002BQ-6s for guix-patches@gnu.org; Thu, 29 Sep 2022 13:14:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1odx6o-00031l-1t for guix-patches@gnu.org; Thu, 29 Sep 2022 13:14:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis)) Resent-From: Garek Dyszel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 29 Sep 2022 17:14:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57540 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: zimoun , Julien Lepiller Cc: 57540@debbugs.gnu.org Received: via spool by 57540-submit@debbugs.gnu.org id=B57540.166447161911601 (code B ref 57540); Thu, 29 Sep 2022 17:14:02 +0000 Received: (at 57540) by debbugs.gnu.org; 29 Sep 2022 17:13:39 +0000 Received: from localhost ([127.0.0.1]:39502 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1odx6R-000312-0N for submit@debbugs.gnu.org; Thu, 29 Sep 2022 13:13:39 -0400 Received: from knopi.disroot.org ([178.21.23.139]:46270) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1odx6M-00030q-RV for 57540@debbugs.gnu.org; Thu, 29 Sep 2022 13:13:37 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id ED9714C40C; Thu, 29 Sep 2022 19:13:32 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id qcAu-uioFV_j; Thu, 29 Sep 2022 19:13:31 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1664471609; bh=1LJbZKMoVE+qxgH/vAlJ8V6bxCBwAOzl/gsvSIAgCpw=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=Zr274skHZLKXJliolr1FQK3X/pOkrD7skukxP49/iEH5yUkGbqT64uVmU4rujC3Jr +2+mwS4p3++kmEkAGsuPG084Y/oEIPRpnJijDG4ulJmTC2cylMbnGBCpX+LqsD8mxF e6kXjbYKiulAXiN6KPG5/jngI3lpDDLVQUAydR4jb15cpxdtuehIsyV1L4Oq2gKED3 OjzAxhbdi6QV7SN61xVfjkr4aVNizFkBZS2yVkiaa4n+ribBub6XoT5fQVfz5saYHM kI+elbS95rUSkvXFnR9/sMoktvA/3bB5pm2KMYDvYt8ujMB5U0OjIFNcYoV5Kyoruy h/K5zjl7jBiBg== In-Reply-To: <87a66l9dem.fsf@disroot.org> References: <79d544f7d8ba64b631a6f0f1d2ef0b08@disroot.org> <87sfl3vxws.fsf@disroot.org> <86sfkew017.fsf_-_@gmail.com> <87a66l9dem.fsf@disroot.org> Date: Thu, 29 Sep 2022 13:13:25 -0400 Message-ID: <871qru5cju.fsf@disroot.org> Mime-Version: 1.0 Content-Type: text/plain X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" Reply-to: Garek Dyszel X-ACL-Warn: , Garek Dyszel via Guix-patches From: Garek Dyszel via Guix-patches via X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1664472384; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=DBWwDbMEcenJY/ug6LC0Dta1PWEGrD1+XjdaT4nLOE8=; b=i6YtDvf7HqvycaEkv+U6a0oi9jBA4hE3jBXS7bdOWL2yiiO5G4WyX8SnjgdCs8TRksRh1w O42afLGUdiFaJQKnmvwo11pA8WUTk9bQCSKqIAkQUocyt2ME1rhcpPXdjA20DQm0ik3NXk yOAfwq+UYnLFLt0wmlQN3P8SpCXQ6hLXw5ARVgBn+jwHqtM7LwOwcI43zV1zmR0o7uG+Ah xzIvVb76PJtSoydW1Yy/wO7uRjr3fjb7IceKaZ9pBags7gCjwStC7BA+JhrqCJITsvnKZi 850EtbZJrREcxZTuAEXvk4pODJwPc4mCHK0eOGagQhrPPpTckxlzDw39UdnRLQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1664472384; a=rsa-sha256; cv=none; b=L2+ajQIyL7O3QsS5VBZxWuQISO7Pts7ExT3oXtxFkp1A1X0qkjOEJcvOBv9dfW87WMb5PZ YZTEpNPLN3NgsseUh8ELeZOWsDxPdW2aOefluTpZlmSkxm5V3de8w1lldYlZ17gesxV3I5 SXKygaeHckGwHCRA7AZqPVJPrtRa5+6RJh9MPNxXeTb0nGuLgrJoFikJdP02K6gnn2Wc86 aiu+/egl5Hry9vRA4Kx+BJupAkxD6mxqj5b2U9AbmTZxWvZhI02jdl/Tdss6K9W6p8OAkg CkH1H03ITv4PqTEcWu7OfZPoLZDjwhabK52z/kVSHc47Oc6i5ORSlN2PwI1tsA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=disroot.org header.s=mail header.b=Zr274skH; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -1.84 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=disroot.org header.s=mail header.b=Zr274skH; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 025891DAFD X-Spam-Score: -1.84 X-Migadu-Scanner: scn0.migadu.com X-TUID: 318zSW7rtAbv Hi again, It looks like Coq has been updated to 8.16 now, which means the two packages required by coq-mathcomp-hierarchy-builder in this patchset are now out of date. The build processes have completely changed for ocaml-elpi and coq-elpi. The new ocaml-elpi build system got rather confusing and will likely take me much longer than I originally expected. Maybe we could close this issue? I think it might be easier if I were to send in ocaml-elpi on its own, for example. Let me know. Thanks! Garek At 09:04 2022-09-27 UTC-0400, Garek Dyszel wrote: > Hi Julien and simon, > > I planned to write back yesterday but had to run out the door > unexpectedly. > > At 18:52 2022-09-26 UTC+0200, zimoun wrote: >> For instance the series reads, ... where the logic about the order is >> not obvious > > The logic was essentially adding dependencies in reverse order. I > started with the package that I wanted to build (coq-mathcomp-analysis), > and added the dependencies as I found they were needed. > > I'll stick with committing dependencies in forward order (committing > dependencies before packages) from now on. > >> I have tried to clean the mess but I give up for now. :-) It would be >> much easier if the series provides, >> >> 1. the Git commit against which revision these patches apply (see the >> option --base of git-format-patch) >> >> 2. the correct dependency order of the patches > > Probably it would also be easier to start over from the new master > branch and recommit the remaining packages in the proper order. > > If I don't have another major interruption, I will send out a new set of > commits, in the correct order, formatted with --base, before or by > Friday. Excluding those packages which were already pushed to master, of > course :) > > At 20:39 2022-09-24 UTC+0200, Julien Lepiller wrote: >> No need to repeat the license here. Also, this means that the license >> should be lgpl2.1+, instead of plain lgpl2.1. > > Ah, seems like I was getting lost in package-ception there and didn't > check over the descriptions too rigorously. I'll keep this in mind when > preparing the next patchset for this thread. > >> For python packages, I see you add python to the inputs. Why is that? >> The python-build-system already provides python. > > I had been getting errors of the form "python3 was not found on the > PATH" during the 'configure' phase of some python packages, even though > the python-build-system was being used. I added python to everything to > avoid such errors, but forgot to remove it for packages where it was not > really needed. > > If I can find the first package that produced that error, I'll submit a > bug report for it with the precise error quoted. > >> It looks like python-jsonschema-next (4.5.1) does not have any >> dependent, so updating this package instead might be better than >> adding a new one, wdyt? > > I found evidence to the contrary, I think. With graphviz installed, I > ran > > $ guix graph python-jsonschema > /tmp/py-js-deps.dot > $ gc -n /tmp/py-js-deps.dot > > which says that there are 186 nodes, or (186 - 1) = 185 packages > dependent on python-jsonschema-next. If you prefer viewing it as an > image, > > $ dot /tmp/py-js-deps.dot > /tmp/py-js-deps.png > $ feh /tmp/py-js-deps.png > > shows all 185 packages originating from the node named > "python-jsonschema@4.5.1". > > Maybe for now we could add this transitional python-jsonschema-4.15 to > build coq-mathcomp-analysis, and remove it in a subsequent patchset? I > don't want to tie this patch up unnecessarily. > > If I have malformed patches now with only 20 packages,... well, let's > just say I don't know if I want to see the results just yet, if I'll > need to rebuild 185 :) > > -- Garek