[crux-commits] ports/opt (3.6): ocaml: update to 4.12.0

crux at crux.nu crux at crux.nu
Thu Mar 18 17:11:21 UTC 2021


commit 33385c8dd4e41c957d1c8907443702c7ceadabd1
Author: Juergen Daubert <jue at jue.li>
Date:   Thu Mar 18 18:02:37 2021 +0100

    ocaml: update to 4.12.0

diff --git a/ocaml/.footprint b/ocaml/.footprint
index 499960eda..1135e6b1e 100644
--- a/ocaml/.footprint
+++ b/ocaml/.footprint
@@ -42,13 +42,14 @@ lrwxrwxrwx	root/root	usr/bin/ocamlprof -> ocamlprof.opt
 drwxr-xr-x	root/root	usr/lib/
 drwxr-xr-x	root/root	usr/lib/ocaml/
 -rw-r--r--	root/root	usr/lib/ocaml/Makefile.config
--rw-r--r--	root/root	usr/lib/ocaml/VERSION
 -rw-r--r--	root/root	usr/lib/ocaml/arg.ml
 -rw-r--r--	root/root	usr/lib/ocaml/arg.mli
 -rw-r--r--	root/root	usr/lib/ocaml/array.ml
 -rw-r--r--	root/root	usr/lib/ocaml/array.mli
 -rw-r--r--	root/root	usr/lib/ocaml/arrayLabels.ml
 -rw-r--r--	root/root	usr/lib/ocaml/arrayLabels.mli
+-rw-r--r--	root/root	usr/lib/ocaml/atomic.ml
+-rw-r--r--	root/root	usr/lib/ocaml/atomic.mli
 -rw-r--r--	root/root	usr/lib/ocaml/bigarray.a
 -rw-r--r--	root/root	usr/lib/ocaml/bigarray.cma
 -rw-r--r--	root/root	usr/lib/ocaml/bigarray.cmi
@@ -75,6 +76,7 @@ drwxr-xr-x	root/root	usr/lib/ocaml/caml/
 -rw-r--r--	root/root	usr/lib/ocaml/caml/backtrace_prim.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/bigarray.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/callback.h
+-rw-r--r--	root/root	usr/lib/ocaml/caml/codefrag.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/compact.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/compare.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/compatibility.h
@@ -119,8 +121,8 @@ drwxr-xr-x	root/root	usr/lib/ocaml/caml/
 -rw-r--r--	root/root	usr/lib/ocaml/caml/s.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/signals.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/signals_machdep.h
+-rw-r--r--	root/root	usr/lib/ocaml/caml/skiplist.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/socketaddr.h
--rw-r--r--	root/root	usr/lib/ocaml/caml/spacetime.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/stack.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/stacks.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/startup.h
@@ -135,6 +137,12 @@ drwxr-xr-x	root/root	usr/lib/ocaml/caml/
 -rw-r--r--	root/root	usr/lib/ocaml/camlheader_ur
 -rw-r--r--	root/root	usr/lib/ocaml/camlheaderd
 -rw-r--r--	root/root	usr/lib/ocaml/camlheaderi
+-rw-r--r--	root/root	usr/lib/ocaml/camlinternalAtomic.cmi
+-rw-r--r--	root/root	usr/lib/ocaml/camlinternalAtomic.cmt
+-rw-r--r--	root/root	usr/lib/ocaml/camlinternalAtomic.cmti
+-rw-r--r--	root/root	usr/lib/ocaml/camlinternalAtomic.cmx
+-rw-r--r--	root/root	usr/lib/ocaml/camlinternalAtomic.ml
+-rw-r--r--	root/root	usr/lib/ocaml/camlinternalAtomic.mli
 -rw-r--r--	root/root	usr/lib/ocaml/camlinternalFormat.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/camlinternalFormat.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/camlinternalFormat.cmti
@@ -268,6 +276,11 @@ drwxr-xr-x	root/root	usr/lib/ocaml/compiler-libs/
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/backend_var.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/backend_var.cmx
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/backend_var.mli
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/binutils.cmi
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/binutils.cmt
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/binutils.cmti
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/binutils.cmx
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/binutils.mli
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/branch_relaxation.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/branch_relaxation.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/branch_relaxation.cmti
@@ -775,6 +788,11 @@ drwxr-xr-x	root/root	usr/lib/ocaml/compiler-libs/
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/linear.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/linear.cmx
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/linear.mli
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/linear_format.cmi
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/linear_format.cmt
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/linear_format.cmti
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/linear_format.cmx
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/linear_format.mli
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/linearize.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/linearize.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/linearize.cmti
@@ -800,6 +818,11 @@ drwxr-xr-x	root/root	usr/lib/ocaml/compiler-libs/
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/load_path.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/load_path.cmx
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/load_path.mli
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/local_store.cmi
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/local_store.cmt
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/local_store.cmti
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/local_store.cmx
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/local_store.mli
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/location.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/location.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/location.cmti
@@ -818,15 +841,18 @@ drwxr-xr-x	root/root	usr/lib/ocaml/compiler-libs/
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/main.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/main.cmo
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/main.cmt
--rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/main.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/main.cmx
--rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/main.mli
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/main.o
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/main_args.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/main_args.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/main_args.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/main_args.cmx
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/main_args.mli
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/maindriver.cmi
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/maindriver.cmt
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/maindriver.cmti
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/maindriver.cmx
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/maindriver.mli
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/makedepend.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/makedepend.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/makedepend.cmti
@@ -898,10 +924,13 @@ drwxr-xr-x	root/root	usr/lib/ocaml/compiler-libs/
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/optmain.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/optmain.cmo
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/optmain.cmt
--rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/optmain.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/optmain.cmx
--rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/optmain.mli
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/optmain.o
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/optmaindriver.cmi
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/optmaindriver.cmt
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/optmaindriver.cmti
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/optmaindriver.cmx
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/optmaindriver.mli
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/opttopdirs.mli
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/opttoploop.mli
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/opttopmain.mli
@@ -941,6 +970,11 @@ drwxr-xr-x	root/root	usr/lib/ocaml/compiler-libs/
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/path.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/path.cmx
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/path.mli
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/patterns.cmi
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/patterns.cmt
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/patterns.cmti
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/patterns.cmx
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/patterns.mli
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/persistent_env.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/persistent_env.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/persistent_env.cmti
@@ -1164,11 +1198,6 @@ drwxr-xr-x	root/root	usr/lib/ocaml/compiler-libs/
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/simplify_primitives.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/simplify_primitives.cmx
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/simplify_primitives.mli
--rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/spacetime_profiling.cmi
--rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/spacetime_profiling.cmt
--rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/spacetime_profiling.cmti
--rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/spacetime_profiling.cmx
--rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/spacetime_profiling.mli
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/spill.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/spill.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/spill.cmti
@@ -1451,6 +1480,8 @@ drwxr-xr-x	root/root	usr/lib/ocaml/compiler-libs/
 -rw-r--r--	root/root	usr/lib/ocaml/dynlink_compilerlibs.cmx
 -rw-r--r--	root/root	usr/lib/ocaml/dynlink_platform_intf.cmx
 -rw-r--r--	root/root	usr/lib/ocaml/dynlink_types.cmx
+-rw-r--r--	root/root	usr/lib/ocaml/either.ml
+-rw-r--r--	root/root	usr/lib/ocaml/either.mli
 -rw-r--r--	root/root	usr/lib/ocaml/ephemeron.ml
 -rw-r--r--	root/root	usr/lib/ocaml/ephemeron.mli
 -rw-r--r--	root/root	usr/lib/ocaml/eventlog_metadata
@@ -1492,7 +1523,6 @@ drwxr-xr-x	root/root	usr/lib/ocaml/compiler-libs/
 -rw-r--r--	root/root	usr/lib/ocaml/libcamlrund.a
 -rw-r--r--	root/root	usr/lib/ocaml/libcamlruni.a
 -rw-r--r--	root/root	usr/lib/ocaml/libcamlstr.a
--rw-r--r--	root/root	usr/lib/ocaml/libraw_spacetime_lib.a
 -rw-r--r--	root/root	usr/lib/ocaml/libthreads.a
 -rw-r--r--	root/root	usr/lib/ocaml/libthreadsnat.a
 -rw-r--r--	root/root	usr/lib/ocaml/libunix.a
@@ -1510,7 +1540,6 @@ drwxr-xr-x	root/root	usr/lib/ocaml/compiler-libs/
 -rw-r--r--	root/root	usr/lib/ocaml/nativeint.mli
 -rw-r--r--	root/root	usr/lib/ocaml/obj.ml
 -rw-r--r--	root/root	usr/lib/ocaml/obj.mli
--rwxr-xr-x	root/root	usr/lib/ocaml/objinfo_helper
 drwxr-xr-x	root/root	usr/lib/ocaml/ocamldoc/
 -rw-r--r--	root/root	usr/lib/ocaml/ocamldoc/ocamldoc.hva
 -rw-r--r--	root/root	usr/lib/ocaml/ocamldoc/odoc.cmi
@@ -1635,14 +1664,6 @@ drwxr-xr-x	root/root	usr/lib/ocaml/ocamldoc/
 -rw-r--r--	root/root	usr/lib/ocaml/queue.mli
 -rw-r--r--	root/root	usr/lib/ocaml/random.ml
 -rw-r--r--	root/root	usr/lib/ocaml/random.mli
--rw-r--r--	root/root	usr/lib/ocaml/raw_spacetime_lib.a
--rw-r--r--	root/root	usr/lib/ocaml/raw_spacetime_lib.cma
--rw-r--r--	root/root	usr/lib/ocaml/raw_spacetime_lib.cmi
--rw-r--r--	root/root	usr/lib/ocaml/raw_spacetime_lib.cmti
--rw-r--r--	root/root	usr/lib/ocaml/raw_spacetime_lib.cmx
--rw-r--r--	root/root	usr/lib/ocaml/raw_spacetime_lib.cmxa
--rwxr-xr-x	root/root	usr/lib/ocaml/raw_spacetime_lib.cmxs
--rw-r--r--	root/root	usr/lib/ocaml/raw_spacetime_lib.mli
 -rw-r--r--	root/root	usr/lib/ocaml/result.ml
 -rw-r--r--	root/root	usr/lib/ocaml/result.mli
 -rw-r--r--	root/root	usr/lib/ocaml/scanf.ml
@@ -1651,8 +1672,6 @@ drwxr-xr-x	root/root	usr/lib/ocaml/ocamldoc/
 -rw-r--r--	root/root	usr/lib/ocaml/seq.mli
 -rw-r--r--	root/root	usr/lib/ocaml/set.ml
 -rw-r--r--	root/root	usr/lib/ocaml/set.mli
--rw-r--r--	root/root	usr/lib/ocaml/spacetime.ml
--rw-r--r--	root/root	usr/lib/ocaml/spacetime.mli
 -rw-r--r--	root/root	usr/lib/ocaml/stack.ml
 -rw-r--r--	root/root	usr/lib/ocaml/stack.mli
 -rw-r--r--	root/root	usr/lib/ocaml/stdLabels.ml
@@ -1684,6 +1703,10 @@ drwxr-xr-x	root/root	usr/lib/ocaml/ocamldoc/
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__arrayLabels.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__arrayLabels.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__arrayLabels.cmx
+-rw-r--r--	root/root	usr/lib/ocaml/stdlib__atomic.cmi
+-rw-r--r--	root/root	usr/lib/ocaml/stdlib__atomic.cmt
+-rw-r--r--	root/root	usr/lib/ocaml/stdlib__atomic.cmti
+-rw-r--r--	root/root	usr/lib/ocaml/stdlib__atomic.cmx
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__bigarray.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__bigarray.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__bigarray.cmti
@@ -1720,6 +1743,10 @@ drwxr-xr-x	root/root	usr/lib/ocaml/ocamldoc/
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__digest.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__digest.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__digest.cmx
+-rw-r--r--	root/root	usr/lib/ocaml/stdlib__either.cmi
+-rw-r--r--	root/root	usr/lib/ocaml/stdlib__either.cmt
+-rw-r--r--	root/root	usr/lib/ocaml/stdlib__either.cmti
+-rw-r--r--	root/root	usr/lib/ocaml/stdlib__either.cmx
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__ephemeron.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__ephemeron.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__ephemeron.cmti
@@ -1847,10 +1874,6 @@ drwxr-xr-x	root/root	usr/lib/ocaml/ocamldoc/
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__set.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__set.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__set.cmx
--rw-r--r--	root/root	usr/lib/ocaml/stdlib__spacetime.cmi
--rw-r--r--	root/root	usr/lib/ocaml/stdlib__spacetime.cmt
--rw-r--r--	root/root	usr/lib/ocaml/stdlib__spacetime.cmti
--rw-r--r--	root/root	usr/lib/ocaml/stdlib__spacetime.cmx
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__stack.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__stack.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/stdlib__stack.cmti
@@ -1903,7 +1926,6 @@ drwxr-xr-x	root/root	usr/lib/ocaml/ocamldoc/
 -rw-r--r--	root/root	usr/lib/ocaml/stringLabels.mli
 drwxr-xr-x	root/root	usr/lib/ocaml/stublibs/
 -rwxr-xr-x	root/root	usr/lib/ocaml/stublibs/dllcamlstr.so
--rwxr-xr-x	root/root	usr/lib/ocaml/stublibs/dllraw_spacetime_lib.so
 -rwxr-xr-x	root/root	usr/lib/ocaml/stublibs/dllthreads.so
 -rwxr-xr-x	root/root	usr/lib/ocaml/stublibs/dllunix.so
 -rw-r--r--	root/root	usr/lib/ocaml/sys.ml
@@ -1921,6 +1943,10 @@ drwxr-xr-x	root/root	usr/lib/ocaml/threads/
 -rw-r--r--	root/root	usr/lib/ocaml/threads/mutex.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/threads/mutex.cmx
 -rw-r--r--	root/root	usr/lib/ocaml/threads/mutex.mli
+-rw-r--r--	root/root	usr/lib/ocaml/threads/semaphore.cmi
+-rw-r--r--	root/root	usr/lib/ocaml/threads/semaphore.cmti
+-rw-r--r--	root/root	usr/lib/ocaml/threads/semaphore.cmx
+-rw-r--r--	root/root	usr/lib/ocaml/threads/semaphore.mli
 -rw-r--r--	root/root	usr/lib/ocaml/threads/thread.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/threads/thread.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/threads/thread.cmx
@@ -2011,6 +2037,7 @@ drwxr-xr-x	root/root	usr/share/man/man3/
 -rw-r--r--	root/root	usr/share/man/man3/Ast_iterator.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Ast_mapper.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Asttypes.3o.gz
+-rw-r--r--	root/root	usr/share/man/man3/Atomic.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Attr_helper.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Bigarray.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Bigarray.Array0.3o.gz
@@ -2018,6 +2045,7 @@ drwxr-xr-x	root/root	usr/share/man/man3/
 -rw-r--r--	root/root	usr/share/man/man3/Bigarray.Array2.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Bigarray.Array3.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Bigarray.Genarray.3o.gz
+-rw-r--r--	root/root	usr/share/man/man3/Binutils.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Bool.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Buffer.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Build_path_prefix_map.3o.gz
@@ -2025,6 +2053,7 @@ drwxr-xr-x	root/root	usr/share/man/man3/
 -rw-r--r--	root/root	usr/share/man/man3/Bytes.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/BytesLabels.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Callback.3o.gz
+-rw-r--r--	root/root	usr/share/man/man3/CamlinternalAtomic.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/CamlinternalFormat.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/CamlinternalFormatBasics.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/CamlinternalLazy.3o.gz
@@ -2083,6 +2112,7 @@ drwxr-xr-x	root/root	usr/share/man/man3/
 -rw-r--r--	root/root	usr/share/man/man3/Docstrings.WithMenhir.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Domainstate.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Dynlink.3o.gz
+-rw-r--r--	root/root	usr/share/man/man3/Either.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Ephemeron.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Ephemeron.GenHashTable.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Ephemeron.GenHashTable.MakeSeeded.3o.gz
@@ -2140,6 +2170,7 @@ drwxr-xr-x	root/root	usr/share/man/man3/
 -rw-r--r--	root/root	usr/share/man/man3/ListLabels.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Load_path.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Load_path.Dir.3o.gz
+-rw-r--r--	root/root	usr/share/man/man3/Local_store.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Location.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Longident.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Map.3o.gz
@@ -2186,6 +2217,7 @@ drwxr-xr-x	root/root	usr/share/man/man3/
 -rw-r--r--	root/root	usr/share/man/man3/Numbers.Int16.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Numbers.Int8.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Obj.3o.gz
+-rw-r--r--	root/root	usr/share/man/man3/Obj.Closure.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Obj.Ephemeron.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Obj.Extension_constructor.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Ocaml_operators.3o.gz
@@ -2210,14 +2242,14 @@ drwxr-xr-x	root/root	usr/share/man/man3/
 -rw-r--r--	root/root	usr/share/man/man3/Result.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Scanf.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Scanf.Scanning.3o.gz
+-rw-r--r--	root/root	usr/share/man/man3/Semaphore.3o.gz
+-rw-r--r--	root/root	usr/share/man/man3/Semaphore.Binary.3o.gz
+-rw-r--r--	root/root	usr/share/man/man3/Semaphore.Counting.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Seq.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Set.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Set.Make.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Set.OrderedType.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Set.S.3o.gz
--rw-r--r--	root/root	usr/share/man/man3/Spacetime.3o.gz
--rw-r--r--	root/root	usr/share/man/man3/Spacetime.Series.3o.gz
--rw-r--r--	root/root	usr/share/man/man3/Spacetime.Snapshot.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stack.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/StdLabels.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/StdLabels.Array.3o.gz
@@ -2228,6 +2260,7 @@ drwxr-xr-x	root/root	usr/share/man/man3/
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Arg.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Array.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.ArrayLabels.3o.gz
+-rw-r--r--	root/root	usr/share/man/man3/Stdlib.Atomic.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Bigarray.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Bool.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Buffer.3o.gz
@@ -2237,6 +2270,7 @@ drwxr-xr-x	root/root	usr/share/man/man3/
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Char.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Complex.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Digest.3o.gz
+-rw-r--r--	root/root	usr/share/man/man3/Stdlib.Either.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Ephemeron.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Filename.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Float.3o.gz
@@ -2270,7 +2304,6 @@ drwxr-xr-x	root/root	usr/share/man/man3/
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Scanf.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Seq.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Set.3o.gz
--rw-r--r--	root/root	usr/share/man/man3/Stdlib.Spacetime.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Stack.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.StdLabels.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Stdlib.Stream.3o.gz
diff --git a/ocaml/.signature b/ocaml/.signature
index 0f761b3e4..0bb3e66bc 100644
--- a/ocaml/.signature
+++ b/ocaml/.signature
@@ -1,5 +1,5 @@
 untrusted comment: verify with /etc/ports/opt.pub
-RWSE3ohX2g5d/TYbQ/wKDf6xiQMxnSBVQYRJkSg+9OLMyMZwm/NvDZf3cB+uF7URYzf5XbHngjNZKu3F3be4M3sMxjbRVqKDYAk=
-SHA256 (Pkgfile) = 353bc46fd102b9defd9939a9dcb7715b6e1b20a5006785bd4bfecfde136ed081
-SHA256 (.footprint) = 0c05863f4c3dc30e67fda8200d4c1742dfccf2250d565986f629153f4d99b9b6
-SHA256 (ocaml-4.11.1.tar.xz) = ea4a9187035019f219a50458b7c09ab74239272e5b6ea3ab2a0c840b5810854c
+RWSE3ohX2g5d/VSj0GOZFm6vXmYwnpC/pvvl2rFSEWQPGQJQhsxkHrD9obbtSQWunshTDR7Ov/GqHabuDJ/yGJnCkKRotd8cxAk=
+SHA256 (Pkgfile) = a6dbf1d13ddb574ab7092330579b476f33d76b573d22cb41bb6b8869b04b7ee0
+SHA256 (.footprint) = dc60bc0c156bb8b2518f9aa2893f2f47c6dd5440304f2fa95e3ceba3646bf20e
+SHA256 (ocaml-4.12.0.tar.xz) = 39ee9db8dc1e3eb65473dd81a71fabab7cc253dbd7b85e9f9b5b28271319bec3
diff --git a/ocaml/Pkgfile b/ocaml/Pkgfile
index effa9fd23..5d9021a90 100644
--- a/ocaml/Pkgfile
+++ b/ocaml/Pkgfile
@@ -1,23 +1,23 @@
 # Description: Objective CAML Compiler
-# URL:         http://caml.inria.fr/
-# Maintainer:  Juergen Daubert, jue at crux dot nu
-# Depends on:  binutils
+# URL: http://caml.inria.fr/
+# Maintainer: Juergen Daubert, jue at crux dot nu
+# Depends on: binutils
 
 name=ocaml
-version=4.11.1
+version=4.12.0
 release=1
 source=(http://caml.inria.fr/pub/distrib/$name-${version%.*}/$name-$version.tar.xz)
 
 build() {
-    cd $name-$version
+	cd $name-$version
 
-    ./configure \
-        --prefix=/usr \
-        --mandir=/usr/share/man \
-        --disable-force-safe-string
+	./configure \
+		--prefix=/usr \
+		--mandir=/usr/share/man \
+		--disable-force-safe-string
 
-    make world.opt
-    make DESTDIR=$PKG install
+	make world.opt
+	make DESTDIR=$PKG install
 
-    chmod -R g-w $PKG
+	chmod -R g-w $PKG
 }


More information about the crux-commits mailing list