From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id yNREBdIIzmA7EQEAgWs5BA (envelope-from ) for ; Sat, 19 Jun 2021 17:10:10 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id gM33ANIIzmDIDQAAB5/wlQ (envelope-from ) for ; Sat, 19 Jun 2021 15:10:10 +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 A9B5821F2D for ; Sat, 19 Jun 2021 17:10:09 +0200 (CEST) Received: from localhost ([::1]:59764 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lucbo-0006DJ-Nc for larch@yhetil.org; Sat, 19 Jun 2021 11:10:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:59462) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lucbj-00068h-0E for guix-patches@gnu.org; Sat, 19 Jun 2021 11:10:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:48932) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lucbi-0002rz-0G for guix-patches@gnu.org; Sat, 19 Jun 2021 11:10:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lucbh-0005nl-Sj for guix-patches@gnu.org; Sat, 19 Jun 2021 11:10:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49101] [PATCH v2 2/5] gnu: ocaml4.07-expect: Switch to default OCaml compiler. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 19 Jun 2021 15:10:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 49101 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Xinglu Chen Cc: 49101@debbugs.gnu.org Received: via spool by 49101-submit@debbugs.gnu.org id=B49101.162411537622263 (code B ref 49101); Sat, 19 Jun 2021 15:10:01 +0000 Received: (at 49101) by debbugs.gnu.org; 19 Jun 2021 15:09:36 +0000 Received: from localhost ([127.0.0.1]:60478 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lucbH-0005n0-Q0 for submit@debbugs.gnu.org; Sat, 19 Jun 2021 11:09:36 -0400 Received: from lepiller.eu ([89.234.186.109]:45242) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lucbF-0005mq-BP for 49101@debbugs.gnu.org; Sat, 19 Jun 2021 11:09:34 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 02d4fb75; Sat, 19 Jun 2021 15:09:30 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date :in-reply-to:references:mime-version:content-type :content-transfer-encoding:subject:to:cc:from:message-id; s= dkim; bh=k1JXD14lJzWHJqWbCuZOSxvZKGEGK4EVY2GdLJ45zRI=; b=b3XKugu QP6OWiDkAZb1q0HAHbFyq03PeQFeA0T3tbGcGLBtRzrV9RYqvUMfiTmTCfIYpkzd odnR6eoYOScv9QIM8w5BXTbcn8ch62/CaEqvhDrwO3DEn/P257z/JK9jLjnIo8HB hKOUwgxlX78a7xL6S+no75+hs1F76cvkinktBRa2/hNt99Pq5WTzYeCSlSHwPh6C YuNQKjbAPhryBzjK+OWEdLNhqzNIVuUMweVUgGhuIwTYzACRnFjcKJVUl84npoJZ ExbgqrV+xOP1J52Hw7oYpcYgDhg8swiGiOV+lAr1WgqJwCvxQQAdNhx+9Yv0uzK9 kZRfK+WJ4c3K5Hg== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 2fb41b2b (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Sat, 19 Jun 2021 15:09:30 +0000 (UTC) Date: Sat, 19 Jun 2021 11:09:22 -0400 User-Agent: K-9 Mail for Android In-Reply-To: <87zgvm0x0x.fsf@yoctocell.xyz> References: <5f41113189a8b9d4cff7f8eb41a42e4c99113118.1624093132.git.public@yoctocell.xyz> <20210619130528.41ef399e@tachikoma.lepiller.eu> <8735te2c00.fsf@yoctocell.xyz> <87zgvm0x0x.fsf@yoctocell.xyz> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----1UOC4QZLF5L5W790CSZ74F3UAK8H9F" Content-Transfer-Encoding: 7bit From: Julien Lepiller Message-ID: <0771623B-DAE1-4598-8490-F03027078515@lepiller.eu> 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" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1624115409; 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: 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=1dAqYbqUkwhVOWnh/nJ4sI5d1fxI5F8kzD1nFNOJG58=; b=pdSSlzbAFgnswdxSCAZwGb1mPFkvqpi/ClDrP5vOoK9dXfzDWsqQGNQDWwdICm3b37l7F9 9GM2jX7PSKrifu25MH037I/uVbSou0sa4O9rwYUi4UXopyN+5rncQCmsFSvep5C6XIX/k8 88FhyAGJEq2NSVQbXdqng7RChMcx8mYRQ74+VCUdEYGU/L1MlOiyNvpR2Li+WnxNVCeor4 jepazoG5PxbmKP7/PO2ghYls8VxVgGnyLMqwPNmyEb8UY3/zrobl4bXjTzRxU8nJ95Z3yh yTCIfNHPiIpQ4ra48NmrpMQ52Wlynd1e18tVDeya8SAztpVLLJiFKwY9i+0mqA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1624115409; a=rsa-sha256; cv=none; b=ZJToLsMlvVfnxDECVvF7DJLEK5qlS3gox+cq3KisiP4SQ2UZkJSJu24VJkObYY8IXPm1Z6 AUE8v/DULVI52jqItBY+rVbl02kghps1z86RIX7qpKyeLYUSF7TGTjiWjTWuWfY+Qp6VxE VTVN5JUl9e9p6NeOQX/0b2+v9rWeBOucJhoCdPTw3AV6/UtPk2ok9jBQVGguptdjx3YUCp bQYmwPev6VlRv0nb+xevVFkALmqseBkY9Iy978Z/D5olXFbPq33FxuOuta5ssYQqty5jp9 MxwLXttmlcEqnhK0w1Q5gnByEpK1FBqrI79u4aiOiFfl/AqciHYga9dQZS7pbw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b="b3XKugu "; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -1.32 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b="b3XKugu "; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: A9B5821F2D X-Spam-Score: -1.32 X-Migadu-Scanner: scn1.migadu.com X-TUID: xPaENQ5JpC7S ------1UOC4QZLF5L5W790CSZ74F3UAK8H9F Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Sounds reasonnable, thanks :) Le 19 juin 2021 10:06:06 GMT-04:00, Xinglu Chen a= =C3=A9crit : >On Sat, Jun 19 2021, Xinglu Chen wrote: > >> On Sat, Jun 19 2021, Julien Lepiller wrote: >> >>> This patch looks good, but I think it needs to be merged with the >>> previous one, because after the first patch and before this one, >>> ocaml4=2E07-pcre doesn't exist=2E Remember that we want to make sure w= e >can >>> build guix at every point in time=2E >> >> Do you mean that I, if possible, should do bump the version of >> =E2=80=98ocaml4=2E07-pcre=E2=80=99 in one commit, and then switch =E2= =80=98ocaml4=2E07-pcre=E2=80=99 and >> =E2=80=98ocaml4=2E07-expect=E2=80=99 to using the default compiler in t= he next commit, >> like this? >> >> gnu: ocaml4=2E07-pcre: Update to 7=2E46=2E >> gnu: ocaml4=2E07-{pcre,expect}: Switch to default OCaml compiler=2E >> =2E=2E=2E > >Looks like =E2=80=98ocaml4=2E07-pcre=E2=80=99 doesn=E2=80=99t build on th= e latest version, so I >guess I would add an =E2=80=98ocaml-pcre=E2=80=99 in one commit, switch >=E2=80=98ocaml4=2E07-expect=E2=80=99 to use the default compiler in anoth= er commit, and >then remove =E2=80=98ocaml4=2E07-pcre=E2=80=99 in one commit? > > gnu: Add ocaml-pcre=2E > gnu: ocaml4=2E07-expect: Switch to default compiler=2E > gnu: ocaml4=2E07-pcre: Remove package=2E > =2E=2E=2E ------1UOC4QZLF5L5W790CSZ74F3UAK8H9F Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable Sounds reasonnable, thanks :)

Le 19 juin 2021 10:06:06 GMT-04:00, Xinglu Chen <public@yo= ctocell=2Exyz> a =C3=A9crit :
On Sat, Jun 19 2021, Xinglu Chen wrote:

 On Sat, Jun 19 2021, Julien Le=
piller wrote:

This =
patch looks good, but I think it needs to be merged with the
previous on=
e, because after the first patch and before this one,
ocaml4=2E07-pcre d=
oesn't exist=2E Remember that we want to make sure we can
build guix at =
every point in time=2E

 Do you mean that I, if possible=
, should do bump the version of
 =E2=80=98ocaml4=2E07-pcre=E2=80=99 in o=
ne commit, and then switch =E2=80=98ocaml4=2E07-pcre=E2=80=99 and
 =E2=
=80=98ocaml4=2E07-expect=E2=80=99 to using the default compiler in the next=
 commit,
 like this?

   gnu: ocaml4=2E07-pcre: Update to 7=2E46=
=2E
   gnu: ocaml4=2E07-{pcre,expect}: Switch to default OCaml compiler=
=2E
   =2E=2E=2E

Looks like =E2=80=98ocaml4=2E07-pcr= e=E2=80=99 doesn=E2=80=99t build on the latest version, so I
guess I wou= ld add an =E2=80=98ocaml-pcre=E2=80=99 in one commit, switch
=E2=80=98oc= aml4=2E07-expect=E2=80=99 to use the default compiler in another commit, an= d
then remove =E2=80=98ocaml4=2E07-pcre=E2=80=99 in one commit?

= gnu: Add ocaml-pcre=2E
gnu: ocaml4=2E07-expect: Switch to default com= piler=2E
gnu: ocaml4=2E07-pcre: Remove package=2E
=2E=2E=2E

------1UOC4QZLF5L5W790CSZ74F3UAK8H9F--