summary refs log tree commit diff
diff options
context:
space:
mode:
authorBrett Gilio <brettg@gnu.org>2020-08-30 18:00:54 -0500
committerBrett Gilio <brettg@gnu.org>2020-08-30 18:00:54 -0500
commit9f48b55252d2ea7bb33812e0438c9732c2c2322a (patch)
treebcb3a251473a0bfd4112227661377bb56301f2eb
parentf8a369c36f93119166d2bf180fbc5c04b6c21e30 (diff)
downloadguix-9f48b55252d2ea7bb33812e0438c9732c2c2322a.tar.gz
gnu: ocaml-4.09: Update to 4.11.0.
* gnu/packages/ocaml.scm (ocaml-4.09): Update to 4.11.0.

[definition]: Rename to match current OCaml version.
[arguments]: Remove patch-/bin/sh-references phase.
[arguments]: Run "make tests" in check phase.
[arguments]: Have all phases return #t
-rw-r--r--gnu/packages/ocaml.scm38
1 files changed, 10 insertions, 28 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 682bc890bf..b23725f525 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -132,10 +132,10 @@
                          "/lib/ocaml/site-lib"))
     #:phases (modify-phases %standard-phases (delete 'configure))))
 
-(define-public ocaml-4.09
+(define-public ocaml-4.11
   (package
     (name "ocaml")
-    (version "4.09.0")
+    (version "4.11.0")
     (source (origin
               (method url-fetch)
               (uri (string-append
@@ -144,7 +144,7 @@
                     "/ocaml-" version ".tar.xz"))
               (sha256
                (base32
-                "1v3z5ar326f3hzvpfljg4xj8b9lmbrl53fn57yih1bkbx3gr3yzj"))))
+                "04b13yfismkqh21ag641q9dl0i602khgh4427g1a7pb77c4skr7z"))))
     (build-system gnu-build-system)
     (native-search-paths
      (list (search-path-specification
@@ -165,31 +165,16 @@
     (arguments
      `(#: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"))
-                    (quoted-sh (string-append "\"" sh "\"")))
-               (with-fluids ((%default-port-encoding #f))
-                 (for-each
-                  (lambda (file)
-                    (substitute* file
-                      (("\"/bin/sh\"")
-                       (begin
-                         (format (current-error-port) "\
-patch-/bin/sh-references: ~a: changing `\"/bin/sh\"' to `~a'~%"
-                                 file quoted-sh)
-                         quoted-sh))))
-                  (find-files "." "\\.ml$"))
-                 #t))))
          (replace 'build
            (lambda _
-             (invoke "make" "-j" (number->string (parallel-job-count))
-                     "world.opt")))
+             (invoke "make" "-j"
+                     (number->string (parallel-job-count))
+                     "world.opt")
+             #t))
          (replace 'check
            (lambda _
-             (with-directory-excursion "testsuite"
-               (invoke "make" "all")))))))
+             (invoke "make" "tests")
+             #t)))))
     (home-page "https://ocaml.org/")
     (synopsis "The OCaml programming language")
     (description
@@ -197,10 +182,7 @@ patch-/bin/sh-references: ~a: changing `\"/bin/sh\"' to `~a'~%"
 an emphasis on expressiveness and safety.  Developed for more than 20 years 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))))
+    (license license:lgpl2.1)))
 
 (define-public ocaml-4.07
   (package