this repo has no description

Merge pull request #21040 from Octachron/OCaml_4.14.0

OCaml 4.14.0 release

Kate 122f9dee cb33a152

Changed files
+238 -2
packages
ocaml
ocaml.4.14.1
ocaml-base-compiler
ocaml-base-compiler.4.14.0
ocaml-src
ocaml-src.4.14.0
files
ocaml-system
ocaml-system.4.14.0
ocaml-variants
ocaml-variants.4.14.0+options
ocaml-variants.4.14.1+trunk
+1
packages/ocaml-base-compiler/ocaml-base-compiler.4.14.0/files/ocaml-base-compiler.install
···
+
share_root: ["config.cache" {"ocaml/config.cache"}]
+43
packages/ocaml-base-compiler/ocaml-base-compiler.4.14.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Official release 4.14.0"
+
maintainer: "platform@lists.ocaml.org"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
+
authors: "Xavier Leroy and many contributors"
+
homepage: "https://ocaml.org"
+
bug-reports: "https://github.com/ocaml/opam-repository/issues"
+
dev-repo: "git+https://github.com/ocaml/ocaml"
+
depends: [
+
"ocaml" {= "4.14.0" & post}
+
"base-unix" {post}
+
"base-bigarray" {post}
+
"base-threads" {post}
+
"ocaml-options-vanilla" {post}
+
]
+
conflict-class: "ocaml-core-compiler"
+
flags: compiler
+
setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"
+
build: [
+
[
+
"./configure"
+
"--prefix=%{prefix}%"
+
"-C"
+
"CC=cc" {os = "openbsd" | os = "macos"}
+
"ASPP=cc -c" {os = "openbsd" | os = "macos"}
+
]
+
[make "-j%{jobs}%"]
+
]
+
install: [make "install"]
+
url {
+
src: "https://github.com/ocaml/ocaml/archive/4.14.0.tar.gz"
+
checksum: "sha256=39f44260382f28d1054c5f9d8bf4753cb7ad64027da792f7938344544da155e8"
+
}
+
extra-files: ["ocaml-base-compiler.install" "md5=3e969b841df1f51ca448e6e6295cb451"]
+
post-messages: [
+
"A failure in the middle of the build may be caused by build parallelism
+
(enabled by default).
+
Please file a bug report at https://github.com/ocaml/opam-repository/issues"
+
{failure & jobs > 1}
+
"You can try installing again including --jobs=1
+
to force a sequential build instead."
+
{failure & jobs > 1 & opam-version >= "2.0.5"}
+
]
+1
packages/ocaml-src/ocaml-src.4.14.0/files/META
···
+
version = "4.14.0"
+17
packages/ocaml-src/ocaml-src.4.14.0/opam
···
+
opam-version: "2.0"
+
maintainer: "opam-devel@lists.ocaml.org"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
+
authors: "OCaml contributors"
+
homepage: "http://ocaml.org/"
+
install: ["cp" "-r" "." "%{lib}%/ocaml-src"]
+
synopsis: "Compiler sources"
+
depends: [
+
"ocaml" {= "4.14.0"}
+
]
+
extra-files: ["META" "md5=9c356d4b7596c87294b53acdd1cbfa37"]
+
url {
+
src: "https://github.com/ocaml/ocaml/archive/4.14.0.tar.gz"
+
checksum: "sha256=39f44260382f28d1054c5f9d8bf4753cb7ad64027da792f7938344544da155e8"
+
}
+
+
+43
packages/ocaml-system/ocaml-system.4.14.0/files/gen_ocaml_config.ml.in
···
+
let () =
+
let exe = ".exe" in
+
let ocamlc =
+
let (base, suffix) =
+
let s = Sys.executable_name in
+
if Filename.check_suffix s exe then
+
(Filename.chop_suffix s exe, exe)
+
else
+
(s, "") in
+
base ^ "c" ^ suffix in
+
if Sys.ocaml_version <> "%{_:version}%" then
+
(Printf.eprintf
+
"ERROR: The compiler found at %%s has version %%s,\n\
+
and this package requires %{_:version}%.\n\
+
You should use e.g. 'opam switch create %{_:name}%.%%s' \
+
instead."
+
ocamlc Sys.ocaml_version Sys.ocaml_version;
+
exit 1)
+
else
+
let ocamlc_digest = Digest.to_hex (Digest.file ocamlc) in
+
let libdir =
+
if Sys.command (ocamlc^" -where > %{_:name}%.config") = 0 then
+
let ic = open_in "%{_:name}%.config" in
+
let r = input_line ic in
+
close_in ic;
+
Sys.remove "%{_:name}%.config";
+
r
+
else
+
failwith "Bad return from 'ocamlc -where'"
+
in
+
let graphics = Filename.concat libdir "graphics.cmi" in
+
let graphics_digest =
+
if Sys.file_exists graphics then
+
Digest.to_hex (Digest.file graphics)
+
else
+
String.make 32 '0'
+
in
+
let oc = open_out "%{_:name}%.config" in
+
Printf.fprintf oc "opam-version: \"2.0\"\n\
+
file-depends: [ [ %%S %%S ] [ %%S %%S ] ]\n\
+
variables { path: %%S }\n"
+
ocamlc ocamlc_digest graphics graphics_digest (Filename.dirname ocamlc);
+
close_out oc
+20
packages/ocaml-system/ocaml-system.4.14.0/opam
···
+
opam-version: "2.0"
+
synopsis: "The OCaml compiler (system version, from outside of opam)"
+
maintainer: "platform@lists.ocaml.org"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
+
authors: "Xavier Leroy and many contributors"
+
homepage: "https://ocaml.org"
+
bug-reports: "https://github.com/ocaml/opam-repository/issues"
+
dev-repo: "git+https://github.com/ocaml/ocaml"
+
depends: [
+
"ocaml" {post}
+
"base-unix" {post}
+
"base-threads" {post}
+
"base-bigarray" {post}
+
]
+
conflict-class: "ocaml-core-compiler"
+
available: sys-ocaml-version = "4.14.0"
+
flags: compiler
+
build: ["ocaml" "gen_ocaml_config.ml"]
+
substs: "gen_ocaml_config.ml"
+
extra-files: ["gen_ocaml_config.ml.in" "md5=093e7bec1ec95f9e4c6a313d73c5d840"]
+1
packages/ocaml-variants/ocaml-variants.4.14.0+options/files/ocaml-variants.install
···
+
share_root: ["config.cache" {"ocaml/config.cache"}]
+79
packages/ocaml-variants/ocaml-variants.4.14.0+options/opam
···
+
opam-version: "2.0"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
+
synopsis: "Official release of OCaml 4.14.0"
+
maintainer: "platform@lists.ocaml.org"
+
authors: ["Xavier Leroy" "Damien Doligez" "Alain Frisch" "Jacques Garrigue" "Didier Rémy" "Jérôme Vouillon"]
+
homepage: "https://ocaml.org"
+
bug-reports: "https://github.com/ocaml/opam-repository/issues"
+
dev-repo: "git+https://github.com/ocaml/ocaml.git#4.12"
+
depends: [
+
"ocaml" {= "4.14.0" & post}
+
"base-unix" {post}
+
"base-bigarray" {post}
+
"base-threads" {post}
+
]
+
conflict-class: "ocaml-core-compiler"
+
flags: compiler
+
setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"
+
build: [
+
[
+
"./configure"
+
"--prefix=%{prefix}%"
+
"-C"
+
"--with-afl" {ocaml-option-afl:installed}
+
"--disable-native-compiler" {ocaml-option-bytecode-only:installed}
+
"--disable-force-safe-string" {ocaml-option-default-unsafe-string:installed}
+
"DEFAULT_STRING=unsafe" {ocaml-option-default-unsafe-string:installed}
+
"--disable-flat-float-array" {ocaml-option-no-flat-float-array:installed}
+
"--enable-flambda" {ocaml-option-flambda:installed}
+
"--enable-frame-pointers" {ocaml-option-fp:installed}
+
"--enable-spacetime" {ocaml-option-spacetime:installed}
+
"--disable-naked-pointers" {ocaml-option-nnp:installed}
+
"--enable-naked-pointers-checker" {ocaml-option-nnpchecker:installed}
+
"CC=cc" {!ocaml-option-32bit:installed & !ocaml-option-musl:installed & (os="openbsd"|os="macos")}
+
"CC=musl-gcc" {ocaml-option-musl:installed & os-distribution!="alpine"}
+
"CFLAGS=-Os" {ocaml-option-musl:installed}
+
"CC=gcc -m32" {ocaml-option-32bit:installed & os="linux"}
+
"CC=gcc -Wl,-read_only_relocs,suppress -arch i386 -m32" {ocaml-option-32bit:installed & os="macos"}
+
"ASPP=cc -c" {!ocaml-option-32bit:installed & !ocaml-option-musl:installed & (os="openbsd"|os="macos")}
+
"ASPP=musl-gcc -c" {ocaml-option-musl:installed & os-distribution!="alpine"}
+
"ASPP=gcc -m32 -c" {ocaml-option-32bit:installed & os="linux"}
+
"ASPP=gcc -arch i386 -m32 -c" {ocaml-option-32bit:installed & os="macos"}
+
"AS=as --32" {ocaml-option-32bit:installed & os="linux"}
+
"AS=as -arch i386" {ocaml-option-32bit:installed & os="macos"}
+
"--host=i386-linux" {ocaml-option-32bit:installed & os="linux"}
+
"--host=i386-apple-darwin13.2.0" {ocaml-option-32bit:installed & os="macos"}
+
"PARTIALLD=ld -r -melf_i386" {ocaml-option-32bit:installed & os="linux"}
+
"LIBS=-static" {ocaml-option-static:installed}
+
]
+
[make "-j%{jobs}%"]
+
]
+
install: [make "install"]
+
url {
+
src: "https://github.com/ocaml/ocaml/archive/4.14.0.tar.gz"
+
checksum: "sha256=39f44260382f28d1054c5f9d8bf4753cb7ad64027da792f7938344544da155e8"
+
}
+
extra-files: ["ocaml-variants.install" "md5=3e969b841df1f51ca448e6e6295cb451"]
+
post-messages: [
+
"A failure in the middle of the build may be caused by build parallelism
+
(enabled by default).
+
Please file a bug report at https://github.com/ocaml/opam-repository/issues"
+
{failure & jobs > 1}
+
"You can try installing again including --jobs=1
+
to force a sequential build instead."
+
{failure & jobs > 1 & opam-version >= "2.0.5"}
+
]
+
depopts: [
+
"ocaml-option-32bit"
+
"ocaml-option-afl"
+
"ocaml-option-bytecode-only"
+
"ocaml-option-default-unsafe-string"
+
"ocaml-option-no-flat-float-array"
+
"ocaml-option-flambda"
+
"ocaml-option-fp"
+
"ocaml-option-musl"
+
"ocaml-option-static"
+
"ocaml-option-spacetime"
+
"ocaml-option-nnp"
+
"ocaml-option-nnpchecker"
+
]
+2 -2
packages/ocaml-variants/ocaml-variants.4.14.0+trunk/opam packages/ocaml-variants/ocaml-variants.4.14.1+trunk/opam
···
opam-version: "2.0"
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
-
synopsis: "Latest 4.14.0 development"
+
synopsis: "Latest 4.14.1 development"
maintainer: "platform@lists.ocaml.org"
authors: ["Xavier Leroy" "Damien Doligez" "Alain Frisch" "Jacques Garrigue" "Didier Rémy" "Jérôme Vouillon"]
homepage: "https://ocaml.org"
bug-reports: "https://github.com/ocaml/opam-repository/issues"
dev-repo: "git+https://github.com/ocaml/ocaml.git#trunk"
depends: [
-
"ocaml" {= "4.14.0" & post}
+
"ocaml" {= "4.14.1" & post}
"base-unix" {post}
"base-bigarray" {post}
"base-threads" {post}
+31
packages/ocaml/ocaml.4.14.1/opam
···
+
opam-version: "2.0"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
+
synopsis: "The OCaml compiler (virtual package)"
+
description: """
+
This package requires a matching implementation of OCaml,
+
and polls it to initialise specific variables like `ocaml:native-dynlink`"""
+
maintainer: "platform@lists.ocaml.org"
+
depends: [
+
"ocaml-config" {>= "2"}
+
"ocaml-base-compiler" {>= "4.14.1~" & < "4.14.2~"} |
+
"ocaml-variants" {>= "4.14.1~" & < "4.14.2~"} |
+
"ocaml-system" {>= "4.14.1" & < "4.14.2~"}
+
]
+
setenv: [
+
[CAML_LD_LIBRARY_PATH = "%{_:stubsdir}%"]
+
[CAML_LD_LIBRARY_PATH += "%{lib}%/stublibs"]
+
[OCAML_TOPLEVEL_PATH = "%{toplevel}%"]
+
]
+
build: ["ocaml" "%{ocaml-config:share}%/gen_ocaml_config.ml" _:version _:name]
+
build-env: CAML_LD_LIBRARY_PATH = ""
+
homepage: "https://ocaml.org"
+
bug-reports: "https://github.com/ocaml/opam-repository/issues"
+
authors: [
+
"Xavier Leroy"
+
"Damien Doligez"
+
"Alain Frisch"
+
"Jacques Garrigue"
+
"Didier Rémy"
+
"Jérôme Vouillon"
+
]
+
flags: conf