From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:38217) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ipAhr-0004h1-OU for guix-patches@gnu.org; Wed, 08 Jan 2020 07:45:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ipAhq-0003lg-9n for guix-patches@gnu.org; Wed, 08 Jan 2020 07:45:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:43860) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ipAhq-0003lG-5n for guix-patches@gnu.org; Wed, 08 Jan 2020 07:45:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ipAhq-000369-1f for guix-patches@gnu.org; Wed, 08 Jan 2020 07:45:02 -0500 Subject: [bug#38861] [WIP 1/1] gnu: Add ocaml-4.09. Resent-Message-ID: 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 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 Date: Wed, 08 Jan 2020 07:44:00 -0500 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> 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, brettg@gnu.org 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