[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/28: gnu: Add ocaml-5.0.
From: |
guix-commits |
Subject: |
01/28: gnu: Add ocaml-5.0. |
Date: |
Wed, 21 Dec 2022 16:11:41 -0500 (EST) |
roptat pushed a commit to branch master
in repository guix.
commit e69259352a5a989b5cb5a572ad7e7af24c957def
Author: pukkamustard <pukkamustard@posteo.net>
AuthorDate: Fri Dec 16 13:25:00 2022 +0000
gnu: Add ocaml-5.0.
* gnu/packages/ocaml.scm (ocaml-5.0): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
---
gnu/packages/ocaml.scm | 61 ++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 61 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index e0bedf74f9..376f06e02c 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -185,6 +185,67 @@ OCaml and can effectively bootstrap OCaml 4.07.
This package produces a native @command{ocamlc} and a bytecode
@command{ocamllex}.")
(license license:expat))))
+(define-public ocaml-5.0
+ (package
+ (name "ocaml")
+ (version "5.0.0")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/ocaml/ocaml")
+ (commit version)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "1p0p8wldrnbr61wfy3x4122017g4k5gjvfwlg3mvlqn8r2fxn2m5"))))
+ (build-system gnu-build-system)
+ (native-search-paths
+ (list (search-path-specification
+ (variable "OCAMLPATH")
+ (files (list "lib/ocaml" "lib/ocaml/site-lib")))
+ (search-path-specification
+ (variable "CAML_LD_LIBRARY_PATH")
+ (files (list "lib/ocaml/site-lib/stubslibs"
+ "lib/ocaml/site-lib/stublibs")))))
+ (native-inputs
+ (list perl pkg-config))
+ (inputs
+ (list libx11 libiberty ;needed for objdump support
+ zlib)) ;also needed for objdump support
+ (arguments
+ `(#:configure-flags '("--enable-ocamltest")
+ #:test-target "tests"
+ #:make-flags '("world.opt")
+ #:phases
+ (modify-phases %standard-phases
+ (add-after 'unpack 'patch-/bin/sh-references
+ (lambda* (#:key inputs #:allow-other-keys)
+ (let* ((sh (search-input-file inputs "/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$")))))))))
+ (home-page "https://ocaml.org/")
+ (synopsis "The OCaml programming language")
+ (description
+ "OCaml is a general purpose industrial-strength programming language with
+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))))
+
+
(define-public ocaml-4.14
(package
(name "ocaml")
- branch master updated (30465558bd -> fe5836feaf), guix-commits, 2022/12/21
- 13/28: gnu: Add ocaml5.0-ppx-expect., guix-commits, 2022/12/21
- 03/28: gnu: Add ocaml5.0-findlib, guix-commits, 2022/12/21
- 01/28: gnu: Add ocaml-5.0.,
guix-commits <=
- 04/28: guix: ocaml: Add package-with-ocaml5.0., guix-commits, 2022/12/21
- 15/28: gnu: Add ocaml5.0-crowbar., guix-commits, 2022/12/21
- 17/28: gnu: Add ocaml5.0-ctypes, guix-commits, 2022/12/21
- 27/28: gnu: Add ocaml5.0-dot-merlin-reader., guix-commits, 2022/12/21
- 25/28: gnu: Update ocaml-merlin-lib to 4.7-414., guix-commits, 2022/12/21
- 21/28: gnu: Add ocaml5.0-eio-luv., guix-commits, 2022/12/21
- 02/28: gnu: ocaml-findlib: Update to 1.9.5., guix-commits, 2022/12/21
- 07/28: gnu: Add ocaml-monolith., guix-commits, 2022/12/21
- 08/28: gnu: Add ocaml-optint., guix-commits, 2022/12/21
- 10/28: gnu: Add ocaml5.0-base., guix-commits, 2022/12/21