From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id gC5aKRj6zWDT+wAAgWs5BA (envelope-from ) for ; Sat, 19 Jun 2021 16:07:20 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id iCwDJRj6zWDhZwAAB5/wlQ (envelope-from ) for ; Sat, 19 Jun 2021 14:07:20 +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 351DD2BA4B for ; Sat, 19 Jun 2021 16:07:20 +0200 (CEST) Received: from localhost ([::1]:40156 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lubd0-0003pj-Uj for larch@yhetil.org; Sat, 19 Jun 2021 10:07:18 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47764) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lubck-0003pQ-S2 for guix-patches@gnu.org; Sat, 19 Jun 2021 10:07:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:48678) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lubck-0001qD-2o for guix-patches@gnu.org; Sat, 19 Jun 2021 10:07:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lubcj-0001vo-O7 for guix-patches@gnu.org; Sat, 19 Jun 2021 10:07: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: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 19 Jun 2021 14:07: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: Julien Lepiller Cc: 49101@debbugs.gnu.org Received: via spool by 49101-submit@debbugs.gnu.org id=B49101.16241115767366 (code B ref 49101); Sat, 19 Jun 2021 14:07:01 +0000 Received: (at 49101) by debbugs.gnu.org; 19 Jun 2021 14:06:16 +0000 Received: from localhost ([127.0.0.1]:60224 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lubbz-0001uk-Pz for submit@debbugs.gnu.org; Sat, 19 Jun 2021 10:06:15 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:46894 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lubby-0001uV-D2 for 49101@debbugs.gnu.org; Sat, 19 Jun 2021 10:06:14 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624111568; bh=oFHvqOiqvPIsddcwBv5kRaD64gr/Adr3b9/0YS0m8Oc=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=Wzhto9NgDYPnpSxKJoIuuYIjZVf8U2ngsmKVp+cDHU8OpAm6bpcPXZ6SwEWI0gF7G AntnvgiDOfyDX+zlcT914safjdclg64cz8xdoEK5oPc54lvPG/6pN1TtxmFJpNETWi Zxl+vMB36nCTxw1m5nuW/vKhVqurhJ7xdYiXqyqs= In-Reply-To: <8735te2c00.fsf@yoctocell.xyz> References: <5f41113189a8b9d4cff7f8eb41a42e4c99113118.1624093132.git.public@yoctocell.xyz> <20210619130528.41ef399e@tachikoma.lepiller.eu> <8735te2c00.fsf@yoctocell.xyz> Date: Sat, 19 Jun 2021 16:06:06 +0200 Message-ID: <87zgvm0x0x.fsf@yoctocell.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" 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=1624111640; 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: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=sF74Ij5E8NvzHS31eaNaDlp3JNXhZ8t+qLsBwS295uY=; b=tGooPdU/xGXH6ermqavwYTFA5j99fuO+jm2e3aKsgnhBPpQiqd/snU6OpwPdR3xtLfd78J UBZj/lYRDO02v+Py3HeagGth9jD1CDVWD2O/u9gdKjPBgSf0EfEjwaj+3fS6eU7LSx6HhG zIfkymuLCJZb0Lkyd9pyPOXKzqeJHtiLWIoOsty49cqQiRE24dgTRFrDV4yiXdSVq5dEHL yOljRJDyaJIGtn/HMRSaEx3qllRGR4JTRut2XUx+YrjcLlGLjQfVoWZh39Tp2gwYBybtN+ DSSbZCshXjeVHh9Lg5YRXF7vgeqqzUaRll8VnwPDHEf56T88Y//UgI6/sADkaA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1624111640; a=rsa-sha256; cv=none; b=REAf+vSGvs+uLh90jClkmHqid/flJaLH+5xQ7xwhgMEdTKOM1UlKN5W7Q4M/TI/fvWf2Cz IxdcAeKcD11imtQoHlnbHqlcl+RXuuVjLo+Lkzw1KJF/34m/M2uhtKYKmzRT6JtzDaNTTc eG+rn97sNxU4ZoDjkEDBOeJZK7udQKpwMMFtbn+aij7Ig4xBdWJUKC1UWS/8MIqfl1rWhZ ZXzgpN443BC7nuAv/DwSC8Y2ZGu8oSp15fc575zJUQFf6btXmhDue1xdh559VtADnW2uC6 9ddXW7NAFvSxg3eQOuTPcdepcGVdK7HZcQdyVctXgktBgcG5wYDYH//2w4LfWw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=Wzhto9Ng; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (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-Spam-Score: -3.42 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=Wzhto9Ng; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (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: 351DD2BA4B X-Spam-Score: -3.42 X-Migadu-Scanner: scn0.migadu.com X-TUID: TKdW7Cqchjo0 --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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.07-pcre doesn't exist. Remember that we want to make sure we can >> build guix at every point in time. > > Do you mean that I, if possible, should do bump the version of > =E2=80=98ocaml4.07-pcre=E2=80=99 in one commit, and then switch =E2=80=98= ocaml4.07-pcre=E2=80=99 and > =E2=80=98ocaml4.07-expect=E2=80=99 to using the default compiler in the n= ext commit, > like this? > > gnu: ocaml4.07-pcre: Update to 7.46. > gnu: ocaml4.07-{pcre,expect}: Switch to default OCaml compiler. > ... Looks like =E2=80=98ocaml4.07-pcre=E2=80=99 doesn=E2=80=99t build on the la= test version, so I guess I would add an =E2=80=98ocaml-pcre=E2=80=99 in one commit, switch =E2=80=98ocaml4.07-expect=E2=80=99 to use the default compiler in another c= ommit, and then remove =E2=80=98ocaml4.07-pcre=E2=80=99 in one commit? gnu: Add ocaml-pcre. gnu: ocaml4.07-expect: Switch to default compiler. gnu: ocaml4.07-pcre: Remove package. ... --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEAVhh4yyK5+SEykIzrPUJmaL7XHkFAmDN+c8VHHB1YmxpY0B5 b2N0b2NlbGwueHl6AAoJEKz1CZmi+1x5LtcQAL/61ZiyzuA56G9z8KqFweu+iFrM JVRmHGhZB84ixwMlNid8UzpDrMmy7YjI8xAAMY+tw3wzffetP+BWWIs4sdZVn8uv dixDxmpwqjhopTVE7cUFTPwFPTtQU0VJZ31vhAkfX6MiLMWnZDs4KwCyq5czrKbh LMHq7NdSI9XppH/pxKHldGre4NJr/Uo7MDMm8po50W7eCP+Wd4ywH+O7/42Ub6oA 1xzeC/dKQB0mhQJIVhWd0OalbJuegiI6nU7z+X7kdXKJVT5b42XkDAJns3XrGAKI DT9GHFI80s13Hk/x6Qru+mnzN7vhLs+ilGQrqS/dlwF4fvAQQnGhWz0R+Hplo4ia n18UMUdPoe1eEnmgV6blWn+HkWiQQk5nvVsxxampede30BoFGFnYQHBQUA7Au63D PmhctCEUGs4Gz9S5cgK7hsvw28u6XpiiIFas+w870In4l6OYM8+s3ne8aKGjOrvl y9exqvtV3RtXlk9w+TdbIZ+HgT/kwAUci1v5kpyUZ7HGWY+vU+fVTN9zOpZ8o/MH n+UA5JpRYOnBXebbU90InPW+6K83jXKWZIAmsLbxo+yJOOMKvLnvaTFJn2BGRYvY o0+zgW9KHnaNs6EEttijA8uZj8voAHhTz8qRGSoRRK5wHhukbUTqaf9EdYrbjOg4 0vj01ZlZccQKmHdB =5dGY -----END PGP SIGNATURE----- --=-=-=--