unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
From: Brett Gilio <brettg@gnu.org>
To: 38861@debbugs.gnu.org
Subject: [bug#38861] [WIP 1/1] gnu: Add ocaml-4.09.
Date: Wed, 01 Jan 2020 19:14:30 -0600	[thread overview]
Message-ID: <87mub64q2x.fsf@gnu.org> (raw)
In-Reply-To: <87r20i4q68.fsf@gnu.org>

[-- Attachment #1: [WIP 1/1] gnu: Add ocaml-4.09. --]
[-- Type: text/x-patch, Size: 2822 bytes --]

From 1f3f55c2482fb33912a38829f0c2b981d835d80f Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg@gnu.org>
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 © 2018, 2019 Gabriel Hondet <gabrielhondet@gmail.com>
 ;;; Copyright © 2018 Kei Kebreau <kkebreau@posteo.net>
 ;;; Copyright © 2019 Ricardo Wurmus <rekado@elephly.net>
+;;; Copyright © 2020 Brett Gilio <brettg@gnu.org>
 ;;;
 ;;; 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))))
 
+(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
+                       "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.
+                                  "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-count))
+                            "world.opt")))
+                (replace 'check
+                  (lambda _
+                    (with-directory-excursion "testsuite"
+                      (invoke "make" "all")))))))))
+
 (define-public ocaml ocaml-4.07)
 
 (define-public ocamlbuild
-- 
2.24.1

  reply	other threads:[~2020-01-02  1:15 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-01-02  1:12 [bug#38861] [WIP 0/1] Add ocaml-4.09 Brett Gilio
2020-01-02  1:14 ` Brett Gilio [this message]
2020-01-08  6:39   ` [bug#38861] [WIP 1/1] gnu: " Brett Gilio
2020-01-08 12:44     ` Julien Lepiller
2020-01-11  1:55       ` Brett Gilio
2020-01-13 21:50         ` bug#38861: " Brett Gilio

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://guix.gnu.org/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87mub64q2x.fsf@gnu.org \
    --to=brettg@gnu.org \
    --cc=38861@debbugs.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).