From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id YOWAEcXJJ2XRFAEAG6o9tA:P1 (envelope-from ) for ; Thu, 12 Oct 2023 12:26:13 +0200 Received: from aspmx1.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id YOWAEcXJJ2XRFAEAG6o9tA (envelope-from ) for ; Thu, 12 Oct 2023 12:26:13 +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 04B7C5E68C for ; Thu, 12 Oct 2023 12:26:13 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=ZZ2HgxuE; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1697106373; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: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=ikDsetixmQojWL16b5SaGD6gWsgpAkcRYsfgcYwCutE=; b=Num3oZbUGm2xhaAtOnTivOd2kHKueQGpVdBL8G/UUYs46vHimdUL0oQUY73bBpZncthw/g p1k+H/6cyjnmqCe/PpbEfzyooegQdCpgigQ9zcMr2RY10o1AjmqrB9o1zMd9JlxBk2wWYA esShQsWBlNPRAtPl1RmCBm1MD/eUeIYcjcPR9/kSt2p0V/gJTjTyn6u2pxMMnYfDeDKX5i jH9x+vVqtnaWpf0hM7YXK7L0TZzcD8GU+R6HoI73qU5IjwaBq297u5D3hBNjr8NgVUryrT i5AKjGoy+O3q8kYYPXZ0GZsfajpWFECB+4QoO1l4h+CB8oezltA8xeiEIl+pfg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=ZZ2HgxuE; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (policy=none) ARC-Seal: i=1; s=key1; d=yhetil.org; t=1697106373; a=rsa-sha256; cv=none; b=IBQGdU7Q87NqXOd+bqg1L3bT3ELeMrWdXGrsc1fVqdBN+dz6KcCvG8opuHI8fy1M1BYmyb yvKdZ7+QJbbEThI6f9CZenim6r+WlC47/86FEVyTEOJqUk0fZZAN2p5CQRTWIKsy8+/xnR +VJzowIfSNqhOl2SaIVyFkzFLliHy+FaM9aZ4ldd5VDT3dISwM2r1LctXd27pJha8SAeS3 8WwlbHblz/JxDqGJCfGQAc4l4GiKcyrV4EW/34lYlRxmsNB4SiKTZGylewaQypG0hTcPe4 ZNMX+LpNmnxm00gEri41Vh2O2Oj1n7h3eiVBgWKunwTl7kTm/GgOY7IPbY2c3w== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qqstC-0002CN-M4; Thu, 12 Oct 2023 06:25:58 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qqssx-0001wX-Db for guix-patches@gnu.org; Thu, 12 Oct 2023 06:25:46 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qqsst-0007Pb-RJ for guix-patches@gnu.org; Thu, 12 Oct 2023 06:25:43 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qqstG-0001fr-4l for guix-patches@gnu.org; Thu, 12 Oct 2023 06:26:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64249] [PATCH ocaml-team v6 00/12] The one where OPAM finally works Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 12 Oct 2023 10:26:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64249 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: pukkamustard , 64249@debbugs.gnu.org Received: via spool by 64249-submit@debbugs.gnu.org id=B64249.16971063125890 (code B ref 64249); Thu, 12 Oct 2023 10:26:02 +0000 Received: (at 64249) by debbugs.gnu.org; 12 Oct 2023 10:25:12 +0000 Received: from localhost ([127.0.0.1]:41147 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qqssR-0001Wv-Lv for submit@debbugs.gnu.org; Thu, 12 Oct 2023 06:25:12 -0400 Received: from lepiller.eu ([89.234.186.109]:56258 helo=localhost) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qqssM-0001Tm-UZ for 64249@debbugs.gnu.org; Thu, 12 Oct 2023 06:25:10 -0400 Received: from localhost (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 4734375a; Thu, 12 Oct 2023 10:24:41 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:subject:in-reply-to:references:message-id:mime-version :content-type:content-transfer-encoding; s=dkim; bh=2hsWDdcAOcA1 q19pmdoo/hALROxxwZXFmuUORMIEvvw=; b=ZZ2HgxuE7y/CE5/YTIq1DGeHjEfI Jw8xtmLzgCcgtk2bGlbxmYZKxsxeDERVCimWYH2aKYcCUizF9hksEGQOiA1ksvfT ZRhI+Nct8z6S70hA6qlqT/7yi6PJLk8lobVj6Bg7mQcBkDyO7XBgG3t3tV7P4XDH XJ6ZORNJw85qm5GeUl4nMFg9Y5XUbepUfX3ozn2Z2bsgErlilo4YS1+LmOF8SuQw uGywXI07Dd6vxGepwsu83S+wh/xGg9lN0LQqqUiAKNqU3UcvfbP0cMF++zT+Lln0 rVRAI2tnQESasVuMOEssYmwD4fFvqMLBDexrFKYCbq9P9GldkJpPNvDqBQ== Received: by localhost (OpenSMTPD) with ESMTPSA id 8c3593f3 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Thu, 12 Oct 2023 10:24:41 +0000 (UTC) Date: Thu, 12 Oct 2023 12:24:36 +0200 From: Julien Lepiller User-Agent: K-9 Mail for Android In-Reply-To: <86o7h46vhh.fsf@posteo.net> References: <86o7h46vhh.fsf@posteo.net> Message-ID: <6DA64946-F0C1-4C78-9F68-491689CB2BD9@lepiller.eu> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: 2.83 X-Spam-Score: 2.83 X-Migadu-Queue-Id: 04B7C5E68C X-Migadu-Scanner: mx2.migadu.com X-TUID: yA8be6x74qzu Le 12 octobre 2023 11:18:46 GMT+02:00, pukkamustard a =C3=A9crit=C2=A0: > >Salut Julien, > >I'm afraid your last messages somehow got dropped and I only saw them >now after checking the issue on issues=2Eguix=2Egnu=2Eorg=2E Sorry for de= layed >response=2E > >> If you agree, I could push the first 11 patches to master=2E > >Sounds good to me! > >Only thing is that dune was updated again (dune releases are too fast >for us!)=2E Maybe we can bump it to 3=2E11=2E0 before pushing to master? > >If you think we should run it trough CI once again I can send in a V7 >that bumps dune to 3=2E11=2E0 and includes Josselin's coq fixup=2E That would be best > >> I managed to find all the required package updates and new packages to >> get frama-c to build again=2E I just need to figure out a good order an= d >> I'll send an updated patchset=2E > >\o/ woohoo, nice! > >Let me know if I can help in anyway=2E Well, I managed to fix frama-c and update it, but the changes then broke o= ther packages=2E After a few more updates, bap is the only failing package = left=2E I added a few changes to the recipe that makes it go a bit further, but I = still get errors=2E I'll try updating more packages to see if that's a conf= lict of versions, but I'm not-very confident about that=2E The most important change I needed was updating ppxlib and the janestreet = packages, but bap is not compatible with the new version, even on their mas= ter branch=2E > >-pukkamustard > >pukkamustard writes: > >> Hello Guix, >> >> Thanks to Julien's help this version finally build OPAM! >> >> I'm currently very slow and it will probably take quite a bit of time f= or me to >> look into the other things that could be updated in Guix's OCaml land (= see >> https://yhetil=2Eorg/guix/86bkhgc7jj=2Efsf@posteo=2Enet/)=2E Maybe it w= ould make sense >> to merge this patch series into master instead of having a too long-liv= ed >> ocaml-team branch? What do you think? >> >> Cheers, >> pukkamustard >> >> pukkamustard (12): >> gnu: ocaml: Update to 4=2E14=2E1=2E >> gnu: Update coq-flocq to 4=2E1=2E1=2E >> gnu: Update coq-gappa to 1=2E5=2E3=2E >> gnu: Update coq-coquelicot to 3=2E4=2E0=2E >> gnu: Update coq-mathcomp to 1=2E17=2E0=2E >> gnu: Update coq-autosubst to 1=2E8=2E >> gnu: Update coq-stdpp to 1=2E8=2E0=2E >> gnu: Update coq-interval to 4=2E8=2E0=2E >> gnu: coq: Update to 8=2E17=2E1=2E >> gnu: dune-bootstrap: Update to 3=2E10=2E0=2E >> gnu: opam: Split build into smaller sub-packages=2E >> gnu: opam: Update to 2=2E1=2E5=2E >> >> gnu/local=2Emk | 4 - >> gnu/packages/coq=2Escm | 152 +++---- >> gnu/packages/ocaml=2Escm | 410 +++++++++++-----= -- >> =2E=2E=2E/ocaml-dose3-Fix-for-ocaml-4=2E06=2Epatch | 52 --- >> =2E=2E=2E/ocaml-dose3-Install-mli-cmx-etc=2Epatch | 133 ------ >> =2E=2E=2E/ocaml-dose3-add-unix-dependency=2Epatch | 25 -- >> =2E=2E=2E/ocaml-dose3-dont-make-printconf=2Epatch | 9 - >> 7 files changed, 331 insertions(+), 454 deletions(-) >> delete mode 100644 gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4=2E= 06=2Epatch >> delete mode 100644 gnu/packages/patches/ocaml-dose3-Install-mli-cmx-et= c=2Epatch >> delete mode 100644 gnu/packages/patches/ocaml-dose3-add-unix-dependenc= y=2Epatch >> delete mode 100644 gnu/packages/patches/ocaml-dose3-dont-make-printcon= f=2Epatch >> >> >> base-commit: 5db78e7c1b06d1b4892bdb3e153b95b21577271e >