From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:34841) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ip50e-0007HK-Ah for guix-patches@gnu.org; Wed, 08 Jan 2020 01:40:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ip50c-000639-L3 for guix-patches@gnu.org; Wed, 08 Jan 2020 01:40:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:43719) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ip50c-00062R-2Z for guix-patches@gnu.org; Wed, 08 Jan 2020 01:40:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ip50b-0006n8-UA for guix-patches@gnu.org; Wed, 08 Jan 2020 01:40:01 -0500 Subject: [bug#38861] [WIP 1/1] gnu: Add ocaml-4.09. Resent-Message-ID: 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> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 38861@debbugs.gnu.org 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]