From unknown Thu Aug 14 21:45:08 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#38861] [WIP 0/1] Add ocaml-4.09. Resent-From: Brett Gilio Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 02 Jan 2020 01:13:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 38861 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 38861@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.157792754917048 (code B ref -1); Thu, 02 Jan 2020 01:13:01 +0000 Received: (at submit) by debbugs.gnu.org; 2 Jan 2020 01:12:29 +0000 Received: from localhost ([127.0.0.1]:37853 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1imp2L-0004Qs-Bb for submit@debbugs.gnu.org; Wed, 01 Jan 2020 20:12:29 -0500 Received: from lists.gnu.org ([209.51.188.17]:60148) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1imp2J-0004Ql-OI for submit@debbugs.gnu.org; Wed, 01 Jan 2020 20:12:28 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:37701) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1imp2I-0003UK-OY for guix-patches@gnu.org; Wed, 01 Jan 2020 20:12:27 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=ALL_TRUSTED,BAYES_00, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:470:142:3::e]:46638) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1imp2I-0003Ld-LR for guix-patches@gnu.org; Wed, 01 Jan 2020 20:12:26 -0500 Received: from [2605:6000:1a0d:4c95::3d] (port=39602 helo=oryx) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1imp2I-0007yU-5g for guix-patches@gnu.org; Wed, 01 Jan 2020 20:12:26 -0500 From: Brett Gilio Date: Wed, 01 Jan 2020 19:12:31 -0600 Message-ID: <87r20i4q68.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/x-patch Content-Disposition: inline; filename=0000-cover-letter.patch Content-Description: [WIP 0/1] Add ocaml-4.09. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) 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: -3.3 (---) >From 1f3f55c2482fb33912a38829f0c2b981d835d80f Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Wed, 1 Jan 2020 19:09:16 -0600 Subject: [WIP 0/1] Add ocaml-4.09. To: guix-patches@gnu.org This patch series is a WIP for adding OCaml 4.09.0. I want to see if we can make the failing tests work, and ensure that all relevant changes from the inherited OCaml version are fine. For example, I removed the configuration replacement, and the shell patching. Brett Gilio (1): gnu: Add ocaml-4.09. gnu/packages/ocaml.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) -- 2.24.1 From unknown Thu Aug 14 21:45:08 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#38861] [WIP 1/1] gnu: Add ocaml-4.09. References: <87r20i4q68.fsf@gnu.org> In-Reply-To: <87r20i4q68.fsf@gnu.org> Resent-From: Brett Gilio Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 02 Jan 2020 01:15:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 38861 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 38861@debbugs.gnu.org Received: via spool by 38861-submit@debbugs.gnu.org id=B38861.157792767017295 (code B ref 38861); Thu, 02 Jan 2020 01:15:02 +0000 Received: (at 38861) by debbugs.gnu.org; 2 Jan 2020 01:14:30 +0000 Received: from localhost ([127.0.0.1]:37863 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1imp4H-0004Ut-Tq for submit@debbugs.gnu.org; Wed, 01 Jan 2020 20:14:30 -0500 Received: from eggs.gnu.org ([209.51.188.92]:56995) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1imp4G-0004Uh-TC for 38861@debbugs.gnu.org; Wed, 01 Jan 2020 20:14:29 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:46823) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1imp4B-0004fK-Pd for 38861@debbugs.gnu.org; Wed, 01 Jan 2020 20:14:23 -0500 Received: from [2605:6000:1a0d:4c95::3d] (port=39606 helo=oryx) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1imp4B-00088D-C5 for 38861@debbugs.gnu.org; Wed, 01 Jan 2020 20:14:23 -0500 From: Brett Gilio Date: Wed, 01 Jan 2020 19:14:30 -0600 Message-ID: <87mub64q2x.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/x-patch; charset=utf-8 Content-Disposition: inline; filename=0001-gnu-Add-ocaml-4.09.patch Content-Transfer-Encoding: quoted-printable Content-Description: [WIP 1/1] gnu: Add ocaml-4.09. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) 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: -3.3 (---) >From 1f3f55c2482fb33912a38829f0c2b981d835d80f Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Wed, 1 Jan 2020 19:06:13 -0600 Subject: [WIP 1/1] gnu: Add ocaml-4.09. To: guix-patches@gnu.org * gnu/packages/ocaml.scm (ocaml-4.09): New variable inherits from ocaml-4.07 with changes to configuration and checks. --- gnu/packages/ocaml.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 2988810fc7..0ee8fdd508 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -13,6 +13,7 @@ ;;; Copyright =C2=A9 2018, 2019 Gabriel Hondet ;;; Copyright =C2=A9 2018 Kei Kebreau ;;; Copyright =C2=A9 2019 Ricardo Wurmus +;;; Copyright =C2=A9 2020 Brett Gilio ;;; ;;; This file is part of GNU Guix. ;;; @@ -212,6 +213,42 @@ functional, imperative and object-oriented styles of p= rogramming.") ;; distributed under lgpl2.0. (license (list license:qpl license:lgpl2.0)))) =20 +(define-public ocaml-4.09 + (package (inherit ocaml-4.07) + (name "ocaml") + (version "4.09.0") + (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 + "1v3z5ar326f3hzvpfljg4xj8b9lmbrl53fn57yih1bkbx3gr3y= zj")))) + (arguments + `(#:phases + (modify-phases %standard-phases + (add-after 'unpack 'delete-failing-tests + (lambda _ + (with-directory-excursion "testsuite" + (for-each delete-file-recursively + '(;; This test group does not terminate. + "tests/tool-debugger" + ;; These test groups fail. + "tests/lib-unix/common" + "tests/lib-scanf-2" + "tests/lib-threads"))) + #t)) + (replace 'build + (lambda _ + (invoke "make" "-j" (number->string (parallel-job-coun= t)) + "world.opt"))) + (replace 'check + (lambda _ + (with-directory-excursion "testsuite" + (invoke "make" "all"))))))))) + (define-public ocaml ocaml-4.07) =20 (define-public ocamlbuild --=20 2.24.1 From unknown Thu Aug 14 21:45:08 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#38861] [WIP 1/1] gnu: Add ocaml-4.09. Resent-From: Brett Gilio Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 08 Jan 2020 06:40:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 38861 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 38861@debbugs.gnu.org Received: via spool by 38861-submit@debbugs.gnu.org id=B38861.157846556426055 (code B ref 38861); Wed, 08 Jan 2020 06:40:01 +0000 Received: (at 38861) by debbugs.gnu.org; 8 Jan 2020 06:39:24 +0000 Received: from localhost ([127.0.0.1]:49692 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ip4zz-0006mB-Uy for submit@debbugs.gnu.org; Wed, 08 Jan 2020 01:39:24 -0500 Received: from eggs.gnu.org ([209.51.188.92]:53709) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ip4zw-0006lx-6T for 38861@debbugs.gnu.org; Wed, 08 Jan 2020 01:39:22 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:33797) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ip4zr-0005On-1T for 38861@debbugs.gnu.org; Wed, 08 Jan 2020 01:39:15 -0500 Received: from [2605:6000:1a0d:4c95::3d] (port=51104 helo=oryx) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1ip4zq-0003Na-Ki for 38861@debbugs.gnu.org; Wed, 08 Jan 2020 01:39:14 -0500 From: Brett Gilio References: <87r20i4q68.fsf@gnu.org> <87mub64q2x.fsf@gnu.org> Date: Wed, 08 Jan 2020 00:39:21 -0600 In-Reply-To: <87mub64q2x.fsf@gnu.org> (Brett Gilio's message of "Wed, 01 Jan 2020 19:14:30 -0600") Message-ID: <87o8veqwo6.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) 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: -3.3 (---) Brett Gilio writes: >>>From 1f3f55c2482fb33912a38829f0c2b981d835d80f Mon Sep 17 00:00:00 2001 > From: Brett Gilio > Date: Wed, 1 Jan 2020 19:06:13 -0600 > Subject: [WIP 1/1] gnu: Add ocaml-4.09. > To: guix-patches@gnu.org > > * gnu/packages/ocaml.scm (ocaml-4.09): New variable inherits from ocaml-4= .07 > with changes to configuration and checks. > --- > gnu/packages/ocaml.scm | 37 +++++++++++++++++++++++++++++++++++++ > 1 file changed, 37 insertions(+) > > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index 2988810fc7..0ee8fdd508 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -13,6 +13,7 @@ > ;;; Copyright =C2=A9 2018, 2019 Gabriel Hondet > ;;; Copyright =C2=A9 2018 Kei Kebreau > ;;; Copyright =C2=A9 2019 Ricardo Wurmus > +;;; Copyright =C2=A9 2020 Brett Gilio > ;;; > ;;; This file is part of GNU Guix. > ;;; > @@ -212,6 +213,42 @@ functional, imperative and object-oriented styles of= programming.") > ;; distributed under lgpl2.0. > (license (list license:qpl license:lgpl2.0)))) >=20=20 > +(define-public ocaml-4.09 > + (package (inherit ocaml-4.07) > + (name "ocaml") > + (version "4.09.0") > + (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 > + "1v3z5ar326f3hzvpfljg4xj8b9lmbrl53fn57yih1bkbx3gr= 3yzj")))) > + (arguments > + `(#:phases > + (modify-phases %standard-phases > + (add-after 'unpack 'delete-failing-tests > + (lambda _ > + (with-directory-excursion "testsuite" > + (for-each delete-file-recursively > + '(;; This test group does not terminate. > + "tests/tool-debugger" > + ;; These test groups fail. > + "tests/lib-unix/common" > + "tests/lib-scanf-2" > + "tests/lib-threads"))) > + #t)) > + (replace 'build > + (lambda _ > + (invoke "make" "-j" (number->string (parallel-job-co= unt)) > + "world.opt"))) > + (replace 'check > + (lambda _ > + (with-directory-excursion "testsuite" > + (invoke "make" "all"))))))))) > + > (define-public ocaml ocaml-4.07) >=20=20 > (define-public ocamlbuild Hello all who are interested. I'd really like to get OCaml up to 4.09 (and all of the OCaml-dependent packages in better shape). I am unsure of the approach to take. Should I offer two versions of OCaml? If so, should I subsequently offer two versions of each ocaml-* package built against each respective toolchain or what is our protocol here? --=20 Brett M. Gilio GNU Guix, Contributor | GNU Project, Webmaster [DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE] From unknown Thu Aug 14 21:45:08 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#38861] [WIP 1/1] gnu: Add ocaml-4.09. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 08 Jan 2020 12:45:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 38861 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 38861@debbugs.gnu.org, brettg@gnu.org X-Debbugs-Original-To: guix-patches@gnu.org,Brett Gilio ,38861@debbugs.gnu.org Received: via spool by submit@debbugs.gnu.org id=B.157848746711856 (code B ref -1); Wed, 08 Jan 2020 12:45:01 +0000 Received: (at submit) by debbugs.gnu.org; 8 Jan 2020 12:44:27 +0000 Received: from localhost ([127.0.0.1]:49833 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ipAhD-000355-4X for submit@debbugs.gnu.org; Wed, 08 Jan 2020 07:44:27 -0500 Received: from lists.gnu.org ([209.51.188.17]:44568) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ipAhB-00034y-PR for submit@debbugs.gnu.org; Wed, 08 Jan 2020 07:44:22 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:37724) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ipAhA-0003ZH-23 for guix-patches@gnu.org; Wed, 08 Jan 2020 07:44:21 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ipAh8-0003Dd-Lc for guix-patches@gnu.org; Wed, 08 Jan 2020 07:44:19 -0500 Received: from lepiller.eu ([89.234.186.109]:35070) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ipAh6-00037t-4x; Wed, 08 Jan 2020 07:44:16 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id acb11c53; Wed, 8 Jan 2020 12:44:11 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=lepiller.eu; h=date :in-reply-to:references:mime-version:content-type :content-transfer-encoding:subject:to:from:message-id; s=dkim; bh=a/W/ziQE/ckzMSA4JKNLQjTNLWo=; b=MN66leXphepK6gtpG4kuiO1Ou25+ 12Rcli+EYVkRuTJI/csqF2SKqT9sRtijgN5FJCmriZS+/okcEtTEBq4WCFYUTjXl fLY1ZR6/xMWPLOurlIZ056nsm9bLAZ0v7KAqx1qToOx9ZR8ZsZ6352yw+bmnFD43 IrfuFC6b0h9NZNEO5vCIKbnlFK0IyKaJKsgQGDFwKe+BJFkB+XaYMebsQ0yIrzWX GVUzUMk1EEeijf15ppAZBqgyEexUtr05gIQTvhLKoqSYQ4H4UGuqTXKJk/XXJRXM Yxesnee18QW11pHlxHeyqN7trgteTmTG1iM0ntwtL6vQ3WVZ7dSf8tpn4g== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id b5a64386 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Wed, 8 Jan 2020 12:44:10 +0000 (UTC) Date: Wed, 08 Jan 2020 07:44:00 -0500 User-Agent: K-9 Mail for Android In-Reply-To: <87o8veqwo6.fsf@gnu.org> References: <87r20i4q68.fsf@gnu.org> <87mub64q2x.fsf@gnu.org> <87o8veqwo6.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable From: Julien Lepiller Message-ID: <6D6FCD42-17DE-4E97-A5CA-F959DDE199D3@lepiller.eu> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 89.234.186.109 X-Spam-Score: -2.3 (--) 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.0 (-) Le 8 janvier 2020 01:39:21 GMT-05:00, Brett Gilio a =C3= =A9crit : >Brett Gilio writes: > >>>>From 1f3f55c2482fb33912a38829f0c2b981d835d80f Mon Sep 17 00:00:00 >2001 >> From: Brett Gilio >> Date: Wed, 1 Jan 2020 19:06:13 -0600 >> Subject: [WIP 1/1] gnu: Add ocaml-4=2E09=2E >> To: guix-patches@gnu=2Eorg >> >> * gnu/packages/ocaml=2Escm (ocaml-4=2E09): New variable inherits from >ocaml-4=2E07 >> with changes to configuration and checks=2E >> --- >> gnu/packages/ocaml=2Escm | 37 +++++++++++++++++++++++++++++++++++++ >> 1 file changed, 37 insertions(+) >> >> diff --git a/gnu/packages/ocaml=2Escm b/gnu/packages/ocaml=2Escm >> index 2988810fc7=2E=2E0ee8fdd508 100644 >> --- a/gnu/packages/ocaml=2Escm >> +++ b/gnu/packages/ocaml=2Escm >> @@ -13,6 +13,7 @@ >> ;;; Copyright =C2=A9 2018, 2019 Gabriel Hondet >> ;;; Copyright =C2=A9 2018 Kei Kebreau >> ;;; Copyright =C2=A9 2019 Ricardo Wurmus >> +;;; Copyright =C2=A9 2020 Brett Gilio >> ;;; >> ;;; This file is part of GNU Guix=2E >> ;;; >> @@ -212,6 +213,42 @@ functional, imperative and object-oriented >styles of programming=2E") >> ;; distributed under lgpl2=2E0=2E >> (license (list license:qpl license:lgpl2=2E0)))) >> =20 >> +(define-public ocaml-4=2E09 >> + (package (inherit ocaml-4=2E07) >> + (name "ocaml") >> + (version "4=2E09=2E0") >> + (source (origin >> + (method url-fetch) >> + (uri (string-append >> + "http://caml=2Einria=2Efr/pub/distrib/ocaml= -" >> + (version-major+minor version) >> + "/ocaml-" version "=2Etar=2Exz")) >> + (sha256 >> + (base32 >> + =20 >"1v3z5ar326f3hzvpfljg4xj8b9lmbrl53fn57yih1bkbx3gr3yzj")))) >> + (arguments >> + `(#:phases >> + (modify-phases %standard-phases >> + (add-after 'unpack 'delete-failing-tests >> + (lambda _ >> + (with-directory-excursion "testsuite" >> + (for-each delete-file-recursively >> + '(;; This test group does not >terminate=2E >> + "tests/tool-debugger" >> + ;; These test groups fail=2E >> + "tests/lib-unix/common" >> + "tests/lib-scanf-2" >> + "tests/lib-threads"))) >> + #t)) >> + (replace 'build >> + (lambda _ >> + (invoke "make" "-j" (number->string >(parallel-job-count)) >> + "world=2Eopt"))) >> + (replace 'check >> + (lambda _ >> + (with-directory-excursion "testsuite" >> + (invoke "make" "all"))))))))) >> + >> (define-public ocaml ocaml-4=2E07) >> =20 >> (define-public ocamlbuild > >Hello all who are interested=2E I'd really like to get OCaml up to 4=2E09 >(and all of the OCaml-dependent packages in better shape)=2E I am unsure >of the approach to take=2E Should I offer two versions of OCaml? If so, >should I subsequently offer two versions of each ocaml-* package built >against each respective toolchain or what is our protocol here? I tried to do that not so long ago, but failed because of two packages: ba= p and another one I can't remember=2E The whole janestreet stuff (core and = ppx-*) needs to be re-imported: many dependencies changed=2E I think we can have two versions of ocaml if some packages don't support t= he latest=2E In that case, I would only duplicate packages that are depende= ncies of these packages=2E In general, you can use a procedure to recursive= ly modify ocaml packages so they use the older version=2E See package-with-= ocaml4=2E02 that existed at some point=2E From unknown Thu Aug 14 21:45:08 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#38861] [WIP 1/1] gnu: Add ocaml-4.09. Resent-From: Brett Gilio Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 11 Jan 2020 01:56:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 38861 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: Julien Lepiller Cc: 38861@debbugs.gnu.org Received: via spool by 38861-submit@debbugs.gnu.org id=B38861.157870774812339 (code B ref 38861); Sat, 11 Jan 2020 01:56:01 +0000 Received: (at 38861) by debbugs.gnu.org; 11 Jan 2020 01:55:48 +0000 Received: from localhost ([127.0.0.1]:55165 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iq60B-0003Cx-Rg for submit@debbugs.gnu.org; Fri, 10 Jan 2020 20:55:48 -0500 Received: from eggs.gnu.org ([209.51.188.92]:57894) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iq60A-0003Ch-Bn for 38861@debbugs.gnu.org; Fri, 10 Jan 2020 20:55:46 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:42207) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iq603-0006ih-Ip; Fri, 10 Jan 2020 20:55:39 -0500 Received: from [2605:6000:1a0d:4c95::3d] (port=40354 helo=oryx) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1iq600-0000PF-66; Fri, 10 Jan 2020 20:55:39 -0500 From: Brett Gilio References: <87r20i4q68.fsf@gnu.org> <87mub64q2x.fsf@gnu.org> <87o8veqwo6.fsf@gnu.org> <6D6FCD42-17DE-4E97-A5CA-F959DDE199D3@lepiller.eu> Date: Fri, 10 Jan 2020 19:55:36 -0600 In-Reply-To: <6D6FCD42-17DE-4E97-A5CA-F959DDE199D3@lepiller.eu> (Julien Lepiller's message of "Wed, 08 Jan 2020 07:44:00 -0500") Message-ID: <87wo9yn4dj.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) 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: -3.3 (---) Julien Lepiller writes: > > I tried to do that not so long ago, but failed because of two > packages: bap and another one I can't remember. The whole janestreet > stuff (core and ppx-*) needs to be re-imported: many dependencies > changed. > > I think we can have two versions of ocaml if some packages don't > support the latest. In that case, I would only duplicate packages that > are dependencies of these packages. In general, you can use a > procedure to recursively modify ocaml packages so they use the older > version. See package-with-ocaml4.02 that existed at some point. > Thanks for your help Julien. I am trying some things on my channel. Will report back here in a few days. -- Brett M. Gilio GNU Guix, Contributor | GNU Project, Webmaster [DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE] From unknown Thu Aug 14 21:45:08 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Brett Gilio Subject: bug#38861: closed (Re: [bug#38861] [WIP 1/1] gnu: Add ocaml-4.09.) Message-ID: References: <87muarowjm.fsf@gnu.org> <87r20i4q68.fsf@gnu.org> X-Gnu-PR-Message: they-closed 38861 X-Gnu-PR-Package: guix-patches Reply-To: 38861@debbugs.gnu.org Date: Mon, 13 Jan 2020 21:52:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1578952322-11427-1" This is a multi-part message in MIME format... ------------=_1578952322-11427-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #38861: [WIP 0/1] Add ocaml-4.09. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 38861@debbugs.gnu.org. --=20 38861: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D38861 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1578952322-11427-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 38861-done) by debbugs.gnu.org; 13 Jan 2020 21:51:13 +0000 Received: from localhost ([127.0.0.1]:60259 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ir7c9-0002xD-FN for submit@debbugs.gnu.org; Mon, 13 Jan 2020 16:51:13 -0500 Received: from eggs.gnu.org ([209.51.188.92]:56077) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ir7c6-0002wv-7C for 38861-done@debbugs.gnu.org; Mon, 13 Jan 2020 16:51:12 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:32989) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ir7bz-00034A-Us; Mon, 13 Jan 2020 16:51:03 -0500 Received: from [2605:6000:1a0d:4c95::3d] (port=58212 helo=oryx) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1ir7bz-0004xT-1y; Mon, 13 Jan 2020 16:51:03 -0500 From: Brett Gilio To: Julien Lepiller Subject: Re: [bug#38861] [WIP 1/1] gnu: Add ocaml-4.09. References: <87r20i4q68.fsf@gnu.org> <87mub64q2x.fsf@gnu.org> <87o8veqwo6.fsf@gnu.org> <6D6FCD42-17DE-4E97-A5CA-F959DDE199D3@lepiller.eu> <87wo9yn4dj.fsf@gnu.org> Date: Mon, 13 Jan 2020 15:50:53 -0600 In-Reply-To: <87wo9yn4dj.fsf@gnu.org> (Brett Gilio's message of "Fri, 10 Jan 2020 19:55:36 -0600") Message-ID: <87muarowjm.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 38861-done Cc: 38861-done@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: -3.3 (---) Brett Gilio writes: > Julien Lepiller writes: > >> >> I tried to do that not so long ago, but failed because of two >> packages: bap and another one I can't remember. The whole janestreet >> stuff (core and ppx-*) needs to be re-imported: many dependencies >> changed. >> >> I think we can have two versions of ocaml if some packages don't >> support the latest. In that case, I would only duplicate packages that >> are dependencies of these packages. In general, you can use a >> procedure to recursively modify ocaml packages so they use the older >> version. See package-with-ocaml4.02 that existed at some point. >> > > Thanks for your help Julien. I am trying some things on my channel. Will > report back here in a few days. Development is occuring now on branch 'wip-ocaml4.09'. Closing. -- Brett M. Gilio GNU Guix, Contributor | GNU Project, Webmaster [DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE] ------------=_1578952322-11427-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 2 Jan 2020 01:12:29 +0000 Received: from localhost ([127.0.0.1]:37853 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1imp2L-0004Qs-Bb for submit@debbugs.gnu.org; Wed, 01 Jan 2020 20:12:29 -0500 Received: from lists.gnu.org ([209.51.188.17]:60148) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1imp2J-0004Ql-OI for submit@debbugs.gnu.org; Wed, 01 Jan 2020 20:12:28 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:37701) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1imp2I-0003UK-OY for guix-patches@gnu.org; Wed, 01 Jan 2020 20:12:27 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=ALL_TRUSTED,BAYES_00, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:470:142:3::e]:46638) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1imp2I-0003Ld-LR for guix-patches@gnu.org; Wed, 01 Jan 2020 20:12:26 -0500 Received: from [2605:6000:1a0d:4c95::3d] (port=39602 helo=oryx) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1imp2I-0007yU-5g for guix-patches@gnu.org; Wed, 01 Jan 2020 20:12:26 -0500 From: Brett Gilio To: guix-patches@gnu.org Subject: [WIP 0/1] Add ocaml-4.09. Date: Wed, 01 Jan 2020 19:12:31 -0600 Message-ID: <87r20i4q68.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/x-patch Content-Disposition: inline; filename=0000-cover-letter.patch Content-Description: [WIP 0/1] Add ocaml-4.09. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) 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: -3.3 (---) >From 1f3f55c2482fb33912a38829f0c2b981d835d80f Mon Sep 17 00:00:00 2001 From: Brett Gilio Date: Wed, 1 Jan 2020 19:09:16 -0600 Subject: [WIP 0/1] Add ocaml-4.09. To: guix-patches@gnu.org This patch series is a WIP for adding OCaml 4.09.0. I want to see if we can make the failing tests work, and ensure that all relevant changes from the inherited OCaml version are fine. For example, I removed the configuration replacement, and the shell patching. Brett Gilio (1): gnu: Add ocaml-4.09. gnu/packages/ocaml.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) -- 2.24.1 ------------=_1578952322-11427-1--