diff options
author | Brett Gilio <brettg@gnu.org> | 2020-08-30 18:00:54 -0500 |
---|---|---|
committer | Brett Gilio <brettg@gnu.org> | 2020-08-30 18:00:54 -0500 |
commit | 9f48b55252d2ea7bb33812e0438c9732c2c2322a (patch) | |
tree | bcb3a251473a0bfd4112227661377bb56301f2eb | |
parent | f8a369c36f93119166d2bf180fbc5c04b6c21e30 (diff) | |
download | guix-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.scm | 38 |
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 |