From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 6GBEO6DPzWAErgAAgWs5BA (envelope-from ) for ; Sat, 19 Jun 2021 13:06:08 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id 2MAHN6DPzWD+SwAA1q6Kng (envelope-from ) for ; Sat, 19 Jun 2021 11:06:08 +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 378431D939 for ; Sat, 19 Jun 2021 13:06:08 +0200 (CEST) Received: from localhost ([::1]:47914 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1luYnf-00045O-AO for larch@yhetil.org; Sat, 19 Jun 2021 07:06:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:50624) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1luYna-00045F-Kz for guix-patches@gnu.org; Sat, 19 Jun 2021 07:06:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:47083) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1luYna-0005JT-E5 for guix-patches@gnu.org; Sat, 19 Jun 2021 07:06:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1luYna-0002U3-AM for guix-patches@gnu.org; Sat, 19 Jun 2021 07:06:02 -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 11:06:02 +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.16241007369469 (code B ref 49101); Sat, 19 Jun 2021 11:06:02 +0000 Received: (at 49101) by debbugs.gnu.org; 19 Jun 2021 11:05:36 +0000 Received: from localhost ([127.0.0.1]:58624 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1luYn9-0002Sf-TM for submit@debbugs.gnu.org; Sat, 19 Jun 2021 07:05:36 -0400 Received: from lepiller.eu ([89.234.186.109]:45218) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1luYn7-0002ST-HC for 49101@debbugs.gnu.org; Sat, 19 Jun 2021 07:05:34 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id a6d02645; Sat, 19 Jun 2021 11:05:31 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=+bZFMg91IXGq X2ev3UAPDSaJwBEtQrp7IPTTCL8nBDc=; b=nVpaB9A19q5/OXCrMZCeSQ/pNT3E ZaReG1BNdSctiwUMktNHNF12cPdUIrUpieqh+qEHR571i3GSu1BKn8KmerwoQMhw FxqkO+nyJkx0Avav5M38r1RAoUoXmKxihfqm2bXtK0cdvKydP4wgiMYgCyz1VPrL 0MoGOOt6SjCbJHiPSPPAoTkYiAz3IV2ODpwT8UZ6SneF5Nxamj1q5IythvQRRlvQ ft7qbheoSDVrWTspKv+L8LolEePVIY3KDoqlHrVLzteZ//qGJCTH8QJgHQPHTgH+ n8Mk+3RnrlFBuGeMzDl6y6g/TWsUNj2xTUAwQsRQEo2Dy5+KM8c9f2/l7Q== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 3a768cd9 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Sat, 19 Jun 2021 11:05:31 +0000 (UTC) Date: Sat, 19 Jun 2021 13:05:28 +0200 From: Julien Lepiller Message-ID: <20210619130528.41ef399e@tachikoma.lepiller.eu> In-Reply-To: <5f41113189a8b9d4cff7f8eb41a42e4c99113118.1624093132.git.public@yoctocell.xyz> References: <5f41113189a8b9d4cff7f8eb41a42e4c99113118.1624093132.git.public@yoctocell.xyz> X-Mailer: Claws Mail 3.17.8 (GTK+ 2.24.32; x86_64-pc-linux-gnu) 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" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1624100768; 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=oP/kXOaOywzQApCvIHaljFgk1fxER2E1FKtwBwG64dg=; b=pqbQUO8zfAkW/HJcAkKjEgdHyx29asj86YNIhc0pZ5qVuqFekk1tVL+l/nhNilUbK11jcC uiXtI1UDfZcqwTW1V3dne810XDd0sawcHsGy4D0/snDmWwrWO/EXJFJNXY3qy3Ju9I5kU5 Ika9V7GCb6xP0lvqud2my/IKGp5wguh7giu1xvcIVht0C59D0QMuRRzJXOkPJ4AOsmLPq/ g4O1sCYBE3MgIIKcl0Cwo9/W7+VX9OA3fRDRrlljENdH2U1aqhlkyhAfrpTAjDnNLF3MF7 k7FP4AwGEMMzQ6xlmsQmpLCpYt4gr3kCSCHhndmUJv+WtlJ9v5xR2UCNOpxF2g== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1624100768; a=rsa-sha256; cv=none; b=YQOzz+ooSCaRJQlVSgfkW2U0ruDXsCRxkZiZ4YGA9Sdf3YZbsnJRrG6hjYB42MReEr0IKk Z/OgQydp71mvYohQ/2m1fstAJX7Xr6VV6gbdKQ4ZO6YqLoxkTAxIN8S9JPvcs7Gl826Bs2 JtXgGM4nHvcRLTV0v8/tazHwxhSEuKy9NS5jk1/+06oVro2mnkOVRynemVmVShapZZr83Z wrn2SR3lSQWZFqcP4jnbT1DDBmZ9CpvrhaH1ljnrN2zxAIMtOlKatdWOLAsKIFiqvjzsU8 Q5/LEj+/yRhoxBDabZIQ9x4OxGEbQedRNQZppDAk/vLgBIhXKFncQCFQYTFaaA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=nVpaB9A1; 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-Spam-Score: -1.32 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=nVpaB9A1; 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: 378431D939 X-Spam-Score: -1.32 X-Migadu-Scanner: scn0.migadu.com X-TUID: Q1G7IdbeL1Pe Le Sat, 19 Jun 2021 11:03:41 +0200, Xinglu Chen a =C3=A9crit : > * gnu/packages/ocaml.scm (ocaml4.07-expect): Rename to =E2=80=98ocaml-exp= ect=E2=80=99. > [arguments]: Use default OCaml compiler. > [native-inputs]: Use =E2=80=98ocaml-*=E2=80=99 packages instead of =E2=80= =98ocaml4.07-*=E2=80=99. > [propagated-inputs]: Likewise. > [description]: Make it a full sentence. > --- > gnu/packages/ocaml.scm | 23 +++++++++++------------ > 1 file changed, 11 insertions(+), 12 deletions(-) >=20 > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index e02684fefd..c89908a1b2 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -3118,9 +3118,9 @@ offered by the Perl language.") > ;; With static linking exception > (license license:lgpl2.1+))) > =20 > -(define-public ocaml4.07-expect > +(define-public ocaml-expect > (package > - (name "ocaml4.07-expect") > + (name "ocaml-expect") > (version "0.0.6") > (source (origin > (method url-fetch) > @@ -3129,21 +3129,20 @@ offered by the Perl language.") > (base32 > "098qvg9d4yrqzr5ax291y3whrpax0m3sx4gi6is0mblc96r9yqk0"))= )) > (arguments > - `(#:tests? #f > - #:ocaml ,ocaml-4.07 > - #:findlib ,ocaml4.07-findlib)) > + `(#:tests? #f)) > (build-system ocaml-build-system) > (native-inputs > - `(("ocamlbuild" ,(package-with-ocaml4.07 ocamlbuild)) > - ("ocaml-num" ,(package-with-ocaml4.07 ocaml-num)) > - ("ocaml-pcre" ,ocaml4.07-pcre) > - ("ounit" ,(package-with-ocaml4.07 ocaml-ounit)))) > + `(("ocamlbuild" ,ocamlbuild) > + ("ocaml-num" ,ocaml-num) > + ("ocaml-pcre" ,ocaml-pcre) > + ("ounit" ,ocaml-ounit))) > (propagated-inputs > - `(("batteries" ,(package-with-ocaml4.07 ocaml-batteries)))) > + `(("batteries" ,ocaml-batteries))) > (home-page "https://forge.ocamlcore.org/projects/ocaml-expect/") > (synopsis "Simple implementation of expect") > - (description "Help building unitary testing of interactive > program. You -can match the question using a regular expression or a > timeout.") > + (description "This package provides utilities for building > unitary testing +of interactive program. You can match the question > using a regular expression +or a timeout.") > (license license:lgpl2.1+))) ; with the OCaml static compilation > exception=20 > (define-public ocaml-stdlib-shims 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. The rest of the series is good. I'm looking forward to v3 :)