From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.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 AMjSDy/ZMWMIpQAAbAwnHQ (envelope-from ) for ; Mon, 26 Sep 2022 18:54:07 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id eO/dDy/ZMWOsUwEA9RJhRA (envelope-from ) for ; Mon, 26 Sep 2022 18:54:07 +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 DFAB0247EE for ; Mon, 26 Sep 2022 18:54:06 +0200 (CEST) Received: from localhost ([::1]:45038 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ocrMr-0007KJ-I7 for larch@yhetil.org; Mon, 26 Sep 2022 12:54:05 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:42108) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ocrLz-0007IE-Ls for guix-devel@gnu.org; Mon, 26 Sep 2022 12:53:11 -0400 Received: from mail-wr1-x435.google.com ([2a00:1450:4864:20::435]:37526) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ocrLk-0002Rk-7Z for guix-devel@gnu.org; Mon, 26 Sep 2022 12:53:11 -0400 Received: by mail-wr1-x435.google.com with SMTP id bq9so11190051wrb.4 for ; Mon, 26 Sep 2022 09:52:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:message-id:date:references:in-reply-to:subject:cc:to :from:from:to:cc:subject:date; bh=VV4R1s0CZgciLMtIJqcQdhPDDEKeYvuTvSC6VY8Ctyw=; b=hiA/wF6ujEGa/olYxuC6lg8kaMPJ/TL7PkBke5w38i8HTkCWcM1If1gmFrcYrlXgzC 4ZGU2CgBvUIES/B9tUqVQLTS1j/6WNVQJIiPWWEbJKw3Fi4v3GJz4cwZM4/d9U4MlHYO E1QiagGrJnye0ZRAy1ms1iccme27petsJ5D8c5jAmemGDHorPzORBulDNy/JAjiN69r6 XZ1j17QqXEzcLb2y9IkB3wuWfG5ed/0cy3cRGZPm8UxxiZy3rsSbwX6QWkYg4br36mjZ NLT60mb/ykpuwju7TArRIpTkMOQGX4RU2rb2klNjNnu5Qj+ioB3HEgoKs5tD70OUZnWL 1RIg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:message-id:date:references:in-reply-to:subject:cc:to :from:x-gm-message-state:from:to:cc:subject:date; bh=VV4R1s0CZgciLMtIJqcQdhPDDEKeYvuTvSC6VY8Ctyw=; b=UoQXiqGTB1KT4IroxM8GyKiVGNEQKBHQJlXcr5uTKJ/f7j279WqRUvJ4A0kMNkd4T3 c5c5/l5XVk6ZWoGloT8Z9Z97Oidq3846biEAXcFVt0u4rPsRpm8oyoReHJaQvBu2dZKf BA84QfwV+OVACOqfiJUSvUkjZ3Xb64vKTaS6csb6TvleiPUalvw5boUE467qpA6XxzwO MVBqg04YCF1BTTkfszwCuzSqKYqGZ3149HgkphxaFnhM+B8Tbi7u6DByQt286bu+xKfL 7zEaG/8oHkRs2Bk9hkh27MFq87KFHyJPLYU7e+/6+KIOnymP/00puQVLCj5kKNvr0hGy Xuxg== X-Gm-Message-State: ACrzQf1SC9h0E7PfSwP7O+mZB5nSzeP9Ezf/LmA6ZYUfmL1HAGzkjT0e 1XdDKWtnQKG0EzSYCwQSif0= X-Google-Smtp-Source: AMsMyM60DcdG2q12jEwjB4RUD7iYKsi6wxGbRwxqTOjXqgRDbId5L3KNzqBW3yEpY/CYvQsByCCTBQ== X-Received: by 2002:a5d:670f:0:b0:22a:fa8e:5128 with SMTP id o15-20020a5d670f000000b0022afa8e5128mr13651569wru.381.1664211173788; Mon, 26 Sep 2022 09:52:53 -0700 (PDT) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id c18-20020a5d4152000000b0022ac119fcc5sm14558240wrq.60.2022.09.26.09.52.53 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 26 Sep 2022 09:52:53 -0700 (PDT) From: zimoun To: pukkamustard , guix-devel@gnu.org Cc: Julien Lepiller Subject: Re: OCaml 5.0 and Guix In-Reply-To: <86illabf9k.fsf@posteo.net> References: <86illabf9k.fsf@posteo.net> Date: Mon, 26 Sep 2022 13:03:59 +0200 Message-ID: <87zgembdnk.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=2a00:1450:4864:20::435; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x435.google.com X-Spam_score_int: -4 X-Spam_score: -0.5 X-Spam_bar: / X-Spam_report: (-0.5 / 5.0 requ) BAYES_00=-1.9, DATE_IN_PAST_03_06=1.592, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list 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+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1664211246; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=VV4R1s0CZgciLMtIJqcQdhPDDEKeYvuTvSC6VY8Ctyw=; b=mCML27kgp+CsNnnA2/YDfVCFnY9cm40H1yJi5sZgjws6AgUgqPze2QyHsE63Nn0GARqf4C 2oAEYjbf4ziyP8KataUxeIcFvUzWCbPIUKKSVEzLN2m3+UeBgyCFlfaP9xJ2r5oaeUJnBK ypccQagIfoIv/wmrJeE4P61P1GbPImKs0ya9IhzV6FMwgQh4kCOKad3QN6rcVnW/EXHXQJ JaPRn/wi9jgth/zPakwc4wDO8VW0s5QTKGPWOlNq5nN/eFtN3uWfPXD0Sw6EHMJeZoMXmg Lo/huiT3rE7ggDqVnoSvMoFUg4ldQvHjNPOPXDJu6GlVkeSF8VD3at46RhLKhg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1664211246; a=rsa-sha256; cv=none; b=i94ZFlkBJrAe81CDHo58qmbpbn5D3/PmOgt0sfYYrIL1sPJ1wyxtCreJh7JgwD2EJ0AtNk jz1C2DPQHYfRz62TqqpA2En8WcTt5BzGTIpxl+CvCPzO6O7jLYYiIhqRWV6rFrTE7SD/SK ZfYZHr0TEDZj0erFg1Bk/OFl1pgEB/Mvw8HcaNEZuSG7tgfQQgwP3n+lApfFEbVlp6o67F MEyUPXrR7rRIwl3JYKdiEsRpl2I5Ozuy20hdAIkSlgtL63nZLonQ9cF2gRs9mpQhaYZJsU eKRETzVb5m+w+EANVbuGLG57K4/mWp62c8aTISWbCXkh0GG1pwXChiL3qvbuTA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b="hiA/wF6u"; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -2.35 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b="hiA/wF6u"; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: DFAB0247EE X-Spam-Score: -2.35 X-Migadu-Scanner: scn1.migadu.com X-TUID: g87SRG0dDjE9 Hi, On lun., 26 sept. 2022 at 10:11, pukkamustard wrote: > A new major release of OCaml (5.0) is planned and I've started some work > of packaging it in Guix: > > https://inqlab.net/git/guix.git/log/?h=wip-ocaml-5.0 Cool! > Still very much WIP, but a way to give OCaml 5.0 with multicore support > a try. What is the status of OCaml bootstrapping for this new version? Can we have a chain from camlboot -> OCaml 4.07 -> ?? -> v5.0? Cheers, simon