From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Lepiller Subject: Re: OCaml 4.09 Date: Mon, 20 Jan 2020 19:43:38 -0500 Message-ID: References: <87lfq8win7.fsf@gnu.org> <87wo9nry76.fsf@gnu.org> <35FE8AAB-7239-4078-90A4-5D67E45DDA25@lepiller.eu> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:39928) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1itheD-0007Jd-9a for guix-devel@gnu.org; Mon, 20 Jan 2020 19:44:02 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1itheA-0000zR-Qw for guix-devel@gnu.org; Mon, 20 Jan 2020 19:44:01 -0500 Received: from lepiller.eu ([89.234.186.109]:36854) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1itheA-0000ue-7B for guix-devel@gnu.org; Mon, 20 Jan 2020 19:43:58 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 8b9096c2 for ; Tue, 21 Jan 2020 00:43:53 +0000 (UTC) Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 25677182 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Tue, 21 Jan 2020 00:43:52 +0000 (UTC) In-Reply-To: <35FE8AAB-7239-4078-90A4-5D67E45DDA25@lepiller.eu> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org Sender: "Guix-devel" To: guix-devel@gnu.org Le 19 janvier 2020 20:35:31 GMT-05:00, Julien Lepiller a =C3=A9crit : >Le 19 janvier 2020 15:25:01 GMT-05:00, "Ludovic Court=C3=A8s" >a =C3=A9crit : >>Hello! >> >>Brett Gilio skribis: >> >>> Short message! I am trying to get our OCaml development system up to >>> shape, as it is currently lagging some versions behind=2E I have >opened >>a >>> wip-ocaml4=2E09 branch for this work=2E Here are some of the things th= at >>> need work that I have identified=2E >> >>I cannot really help on this, but I noticed that Julien added OCaml >>4=2E09 >>in commit 7b99aa043c4e661fd86cfe25e7b51f5081f42e5d, so perhaps you can >>synchronize on the next steps=2E :-) >> >>Happy =CE=BB! >> >>Ludo=E2=80=99=2E > >Ah yes, sorry about that! Let's synchronize: we have >package-with-explicit-ocaml=2E Next step is to have >package-with-ocaml-4=2E07, update any package that doesn't work with 4=2E= 09 >(currently 4=2E07 is still the default), except for the janestreet >packages and dependents=2E Then switch to 4=2E09 by default and make >janestreet packages use 4=2E07 instead=2E Finally, import the new version >of the janestreet packages and switch lependents to 4=2E09=2E > >That should ensure every step is buildable=2E Wdyt? Ok, I pushed some updates to ocaml packages=2E I think we can now proceed = with the switch to ocaml 4=2E09 by default=2E There are three phases to the= switch, and two more to complete it: - add ocaml4=2E07-findlib - add package-with-ocaml4=2E07 - switch the default: + switch ocaml + explicitely use ocaml 4=2E07 on janestreet packages and dependents, ren= ame them=2E + use package-with-ocaml4=2E07 when necessary - package janestreet packages again, for 4=2E09 - replace dependents with a version for 4=2E09 whenever possible (only bap= and earley may not be upgradable) I'll try to do the first three phases tomorrow, and the other two will pro= bably take me another week=2E