From unknown Sat Jun 14 03:54:46 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#49984 <49984@debbugs.gnu.org> To: bug#49984 <49984@debbugs.gnu.org> Subject: Status: [PATCH] gnu: Add ocaml-4.12. Reply-To: bug#49984 <49984@debbugs.gnu.org> Date: Sat, 14 Jun 2025 10:54:46 +0000 retitle 49984 [PATCH] gnu: Add ocaml-4.12. reassign 49984 guix-patches submitter 49984 Xinglu Chen severity 49984 normal tag 49984 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Tue Aug 10 14:19:14 2021 Received: (at submit) by debbugs.gnu.org; 10 Aug 2021 18:19:14 +0000 Received: from localhost ([127.0.0.1]:60800 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mDWLJ-0004YH-Q9 for submit@debbugs.gnu.org; Tue, 10 Aug 2021 14:19:14 -0400 Received: from lists.gnu.org ([209.51.188.17]:43214) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mDWLH-0004Y9-S4 for submit@debbugs.gnu.org; Tue, 10 Aug 2021 14:19:12 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:55694) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mDWLH-0000Pp-Fy for guix-patches@gnu.org; Tue, 10 Aug 2021 14:19:11 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:50976 helo=mail.yoctocell.xyz) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mDWLF-0006Ex-7O for guix-patches@gnu.org; Tue, 10 Aug 2021 14:19:11 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1628619540; bh=M2knuSmQkrWxe65qeohlnWXaMpJYkWulO42rQeJr+xQ=; h=From:To:Subject:References:Date; b=G3HtvijmrJkoXKD11fnenPm+PXHM+9tb8eIvgNJGhosCaEwogNjSXTzRmK4x2xRh9 OUTeRqponHmIvV3MEZVFGCpG4OtIwwzMNSZ8y/tAGfVdOZjWGSj34kJpYBr3DWCHdW mct/fHBJgqIKPIVf4xpeMVsB1Dh2QZSX5AxGQWrw= To: guix-patches@gnu.org Subject: [PATCH] gnu: Add ocaml-4.12. References: ~a: changing `\"/bin/sh\"' to `~a'~%" Message-Id: Date: Tue, 10 Aug 2021 20:18:55 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=87.96.130.155; envelope-from=public@yoctocell.xyz; helo=mail.yoctocell.xyz X-Spam_score_int: 18 X-Spam_score: 1.8 X-Spam_bar: + X-Spam_report: (1.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FROM_SUSPICIOUS_NTLD=0.498, FROM_SUSPICIOUS_NTLD_FP=0.386, PDS_OTHER_BAD_TLD=1.997, PDS_RDNS_DYNAMIC_FP=0.001, RDNS_DYNAMIC=0.982, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.7 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/ocaml.scm (ocaml-4.12): New variable. (ocaml-4.11): Inherit from ‘ocaml-4.12’. --- I tried to inherit as much as possible without having to rebuild ‘ocaml-4.11’. gnu/packages/ocaml.scm | 57 +++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+), 15 deletions(-) Content analysis details: (1.7 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.51.188.17 listed in wl.mailspike.net] -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at https://www.dnswl.org/, medium trust [209.51.188.17 listed in list.dnswl.org] 0.5 FROM_SUSPICIOUS_NTLD_FP From abused NTLD 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.2 (/) * gnu/packages/ocaml.scm (ocaml-4.12): New variable. (ocaml-4.11): Inherit from =E2=80=98ocaml-4.12=E2=80=99. --- I tried to inherit as much as possible without having to rebuild =E2=80=98ocaml-4.11=E2=80=99. gnu/packages/ocaml.scm | 57 +++++++++++++++++++++++++++++++----------- 1 file changed, 42 insertions(+), 15 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 112751ddec..4108bc0b5f 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -176,10 +176,10 @@ OCaml and can effectively bootstrap OCaml 4.07. This package produces a native @command{ocamlc} and a bytecode @command{oc= amllex}.") (license license:expat)))) =20 -(define-public ocaml-4.11 +(define-public ocaml-4.12 (package (name "ocaml") - (version "4.11.1") + (version "4.12.0") (source (origin (method url-fetch) (uri (string-append @@ -188,7 +188,7 @@ This package produces a native @command{ocamlc} and a b= ytecode @command{ocamllex "/ocaml-" version ".tar.xz")) (sha256 (base32 - "0k4521c0p10c5ams6vjv5qkkjhmpkb0bfn04llcz46ah0f3r2jpa")))) + "1hxy349jfa2vkfgmxf6pvd9w4z5bmcgsg0fxfdabcghyvjw9vvir")))) (build-system gnu-build-system) (native-search-paths (list (search-path-specification @@ -205,6 +205,44 @@ This package produces a native @command{ocamlc} and a = bytecode @command{ocamllex `(("libx11" ,libx11) ("libiberty" ,libiberty) ;needed for objdump support ("zlib" ,zlib))) ;also needed for objdump sup= port + (arguments + `(#:configure-flags '("--enable-ocamltest") + #:test-target "tests" + #:make-flags '("world.opt") + #:phases + (modify-phases %standard-phases + (add-after 'unpack 'patch-/bin/sh-references + (lambda* (#:key inputs #:allow-other-keys) + (let ((sh (string-append (assoc-ref inputs "bash") + "/bin/sh"))) + (substitute* (find-files "." "\\.ml$") + (("\"/bin/sh\"") + (string-append "\"" sh "\""))))))))) + (home-page "https://ocaml.org/") + (synopsis "The OCaml programming language") + (description + "OCaml is a general purpose industrial-strength programming language = with +an emphasis on expressiveness and safety. Developed for more than 20 year= s at +Inria it benefits from one of the most advanced type systems and supports +functional, imperative and object-oriented styles of programming.") + ;; The compiler is distributed under qpl1.0 with a change to choice of + ;; law: the license is governed by the laws of France. The library is + ;; distributed under lgpl2.0. + (license (list license:qpl license:lgpl2.0)))) + +(define-public ocaml-4.11 + (package + (inherit ocaml-4.12) + (version "4.11.1") + (source (origin + (method url-fetch) + (uri (string-append + "http://caml.inria.fr/pub/distrib/ocaml-" + (version-major+minor version) + "/ocaml-" version ".tar.xz")) + (sha256 + (base32 + "0k4521c0p10c5ams6vjv5qkkjhmpkb0bfn04llcz46ah0f3r2jpa")))) (arguments `(#:phases (modify-phases %standard-phases @@ -232,18 +270,7 @@ patch-/bin/sh-references: ~a: changing `\"/bin/sh\"' t= o `~a'~%" (replace 'check (lambda _ (with-directory-excursion "testsuite" - (invoke "make" "all"))))))) - (home-page "https://ocaml.org/") - (synopsis "The OCaml programming language") - (description - "OCaml is a general purpose industrial-strength programming language = with -an emphasis on expressiveness and safety. Developed for more than 20 year= s at -Inria it benefits from one of the most advanced type systems and supports -functional, imperative and object-oriented styles of programming.") - ;; The compiler is distributed under qpl1.0 with a change to choice of - ;; law: the license is governed by the laws of France. The library is - ;; distributed under lgpl2.0. - (license (list license:qpl license:lgpl2.0)))) + (invoke "make" "all"))))))))) =20 (define-public ocaml-4.09 (package base-commit: 1fa4485fb033874fd56b025e8ec998aebc245fe5 --=20 2.32.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Feb 04 16:44:06 2022 Received: (at 49984) by debbugs.gnu.org; 4 Feb 2022 21:44:07 +0000 Received: from localhost ([127.0.0.1]:33049 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nG6NC-0003mD-OR for submit@debbugs.gnu.org; Fri, 04 Feb 2022 16:44:06 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:43658) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nG6NB-0003lc-Pp for 49984@debbugs.gnu.org; Fri, 04 Feb 2022 16:44:06 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 554894C7; Fri, 4 Feb 2022 22:44:00 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id XcObe8hPnhHv; Fri, 4 Feb 2022 22:43:59 +0100 (CET) Received: from ribbon (91-160-117-201.subs.proxad.net [91.160.117.201]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 864CB1E4; Fri, 4 Feb 2022 22:43:59 +0100 (CET) From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Xinglu Chen Subject: Re: bug#49984: [PATCH] gnu: Add ocaml-4.12. References: Date: Fri, 04 Feb 2022 22:43:59 +0100 In-Reply-To: (Xinglu Chen's message of "Tue, 10 Aug 2021 20:18:55 +0200") Message-ID: <87mtj6mhnk.fsf_-_@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spamd-Bar: / Authentication-Results: hera.aquilenet.fr; none X-Rspamd-Server: hera X-Rspamd-Queue-Id: 554894C7 X-Spamd-Result: default: False [-0.10 / 15.00]; ARC_NA(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[3]; TO_DN_SOME(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; MIME_GOOD(-0.10)[text/plain]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; RCVD_COUNT_TWO(0.00)[2]; RCVD_TLS_ALL(0.00)[]; MID_RHS_MATCH_FROM(0.00)[] X-Spam-Score: 2.6 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Hi, Xinglu Chen skribis: > * gnu/packages/ocaml.scm (ocaml-4.12): New variable. > (ocaml-4.11): Inherit from ‘ocaml-4.12’. Content analysis details: (2.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 1.6 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 49984 Cc: Julien Lepiller , 49984@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.6 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Hi, Xinglu Chen skribis: > * gnu/packages/ocaml.scm (ocaml-4.12): New variable. > (ocaml-4.11): Inherit from ‘ocaml-4.12’. Content analysis details: (1.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 1.6 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] -0.0 T_SCC_BODY_TEXT_LINE No description available. -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager Hi, Xinglu Chen skribis: > * gnu/packages/ocaml.scm (ocaml-4.12): New variable. > (ocaml-4.11): Inherit from =E2=80=98ocaml-4.12=E2=80=99. Also fell through the cracks. :-/ We have 4.13.1 now in =E2=80=98master=E2=80=99 so I assume this is no longe= r needed? Julien? Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Fri Feb 04 17:42:47 2022 Received: (at 49984-close) by debbugs.gnu.org; 4 Feb 2022 22:42:47 +0000 Received: from localhost ([127.0.0.1]:33145 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nG7Hz-0003dR-3H for submit@debbugs.gnu.org; Fri, 04 Feb 2022 17:42:47 -0500 Received: from lepiller.eu ([89.234.186.109]:45164) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nG7Hw-0003dI-US for 49984-close@debbugs.gnu.org; Fri, 04 Feb 2022 17:42:45 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 2354b4f4; Fri, 4 Feb 2022 22:42:43 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:in-reply-to:references:message-id:mime-version :content-type:content-transfer-encoding; s=dkim; bh=roWfyL2vfSNL veqrJq0vdVaCNSo3LGIkNOba24qdC/M=; b=RkavXZjxIEM2bG4W69gjZjcrOw1S iHozA7BvNreD1/L8gOcgCT/ekI2+dA4+9mmzOEoWZU0DKUzNeLZDBN5ERxf00rr+ vMCRP7FcnObtp8QB83eTUAKWix5mv+mL+y5+AzRI5P/MTHGc5qa2512rrfmqXycD MiTTBoqgblSCjU094UG2d17feofE1shgc8sHffeJJU4ib7EQwP5hLTDGfZehJ1sD LrtJq/7JwUThWOnYE1nqCwJSA7rGYlCwVjiBe+MGafwUsQJ+nnmutu/xdDbnV5zC g+ucO6MF0CAVh3/YhsVnj3LdXWoQySt5Q5jp2P3W2pe1MddQP19Jd/J5Gw== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id feb90399 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Fri, 4 Feb 2022 22:42:42 +0000 (UTC) Date: Fri, 04 Feb 2022 23:42:35 +0100 From: Julien Lepiller To: =?ISO-8859-1?Q?Ludovic_Court=E8s?= , Xinglu Chen Subject: Re: bug#49984: [PATCH] gnu: Add ocaml-4.12. User-Agent: K-9 Mail for Android In-Reply-To: <87mtj6mhnk.fsf_-_@gnu.org> References: <87mtj6mhnk.fsf_-_@gnu.org> Message-ID: <276F791A-FCDA-4856-81F2-339EB3D90449@lepiller.eu> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary=----2KONHW92SDNDQW44BNXXY6XEBVF5OY Content-Transfer-Encoding: 7bit X-Spam-Score: 1.6 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Right, sorry about that. Closing. On February 4, 2022 10:43:59 PM GMT+01:00, "Ludovic Courtès" wrote: >Hi, > >Xinglu Chen skribis: > >> * gnu/packages/ocaml.scm (ocaml-4.12): New variable. >> (oc [...] Content analysis details: (1.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record -0.0 SPF_PASS SPF: sender matches SPF record 1.6 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 0.0 HTML_MESSAGE BODY: HTML included in message -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 49984-close Cc: 49984-close@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.6 (/) ------2KONHW92SDNDQW44BNXXY6XEBVF5OY Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Right, sorry about that=2E Closing=2E On February 4, 2022 10:43:59 PM GMT+01:00, "Ludovic Court=C3=A8s" wrote: >Hi, > >Xinglu Chen skribis: > >> * gnu/packages/ocaml=2Escm (ocaml-4=2E12): New variable=2E >> (ocaml-4=2E11): Inherit from =E2=80=98ocaml-4=2E12=E2=80=99=2E > >Also fell through the cracks=2E :-/ > >We have 4=2E13=2E1 now in =E2=80=98master=E2=80=99 so I assume this is no= longer needed? >Julien? > >Thanks, >Ludo=E2=80=99=2E ------2KONHW92SDNDQW44BNXXY6XEBVF5OY Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable Right, sorry about that=2E Closing=2E

On February 4, 2022 10:43:59 PM GMT+01:00, "Ludovic C= ourt=C3=A8s" <ludo@gnu=2Eorg> wrote:
Hi,

Xinglu Chen <public@yocto=
cell=2Exyz> skribis:

* gnu/packages/ocaml=2Escm (ocaml-4=2E12): New variable=2E
(ocaml-4=
=2E11): Inherit from =E2=80=98ocaml-4=2E12=E2=80=99=2E

=
Also fell through the cracks=2E  :-/

We have 4=2E13=2E1 now in =E2=
=80=98master=E2=80=99 so I assume this is no longer needed?
Julien?
<=
br>Thanks,
Ludo=E2=80=99=2E
------2KONHW92SDNDQW44BNXXY6XEBVF5OY-- From unknown Sat Jun 14 03:54:46 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 05 Mar 2022 12:24:09 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator