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

crux at crux.nu crux at crux.nu
Sat Aug 22 10:19:23 UTC 2020


commit 72c087e46b7545b2ab0a0a446ba63b4e7072ab08
Author: Juergen Daubert <jue at jue.li>
Date:   Sat Aug 22 11:11:47 2020 +0200

    ocaml: update to 4.11.0

diff --git a/ocaml/.footprint b/ocaml/.footprint
index 8521e3efe..499960eda 100644
--- a/ocaml/.footprint
+++ b/ocaml/.footprint
@@ -1,8 +1,6 @@
 drwxr-xr-x	root/root	usr/
 drwxr-xr-x	root/root	usr/bin/
 -rwxr-xr-x	root/root	usr/bin/ocaml
--rwxr-xr-x	root/root	usr/bin/ocaml-instr-graph
--rwxr-xr-x	root/root	usr/bin/ocaml-instr-report
 lrwxrwxrwx	root/root	usr/bin/ocamlc -> ocamlc.opt
 -rwxr-xr-x	root/root	usr/bin/ocamlc.byte
 -rwxr-xr-x	root/root	usr/bin/ocamlc.opt
@@ -31,6 +29,9 @@ lrwxrwxrwx	root/root	usr/bin/ocamlobjinfo -> ocamlobjinfo.opt
 lrwxrwxrwx	root/root	usr/bin/ocamlopt -> ocamlopt.opt
 -rwxr-xr-x	root/root	usr/bin/ocamlopt.byte
 -rwxr-xr-x	root/root	usr/bin/ocamlopt.opt
+lrwxrwxrwx	root/root	usr/bin/ocamloptp -> ocamloptp.opt
+-rwxr-xr-x	root/root	usr/bin/ocamloptp.byte
+-rwxr-xr-x	root/root	usr/bin/ocamloptp.opt
 lrwxrwxrwx	root/root	usr/bin/ocamlprof -> ocamlprof.opt
 -rwxr-xr-x	root/root	usr/bin/ocamlprof.byte
 -rwxr-xr-x	root/root	usr/bin/ocamlprof.opt
@@ -84,6 +85,7 @@ drwxr-xr-x	root/root	usr/lib/ocaml/caml/
 -rw-r--r--	root/root	usr/lib/ocaml/caml/domain_state.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/domain_state.tbl
 -rw-r--r--	root/root	usr/lib/ocaml/caml/dynlink.h
+-rw-r--r--	root/root	usr/lib/ocaml/caml/eventlog.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/exec.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/fail.h
 -rw-r--r--	root/root	usr/lib/ocaml/caml/finalise.h
@@ -412,6 +414,9 @@ drwxr-xr-x	root/root	usr/lib/ocaml/compiler-libs/
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/cmo_format.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/cmo_format.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/cmo_format.mli
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/cmt2annot.cmi
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/cmt2annot.cmt
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/cmt2annot.cmx
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/cmt_format.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/cmt_format.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/cmt_format.cmti
@@ -1328,6 +1333,11 @@ drwxr-xr-x	root/root	usr/lib/ocaml/compiler-libs/
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/typedecl_properties.cmti
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/typedecl_properties.cmx
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/typedecl_properties.mli
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/typedecl_separability.cmi
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/typedecl_separability.cmt
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/typedecl_separability.cmti
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/typedecl_separability.cmx
+-rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/typedecl_separability.mli
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/typedecl_unboxed.cmi
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/typedecl_unboxed.cmt
 -rw-r--r--	root/root	usr/lib/ocaml/compiler-libs/typedecl_unboxed.cmti
@@ -1443,6 +1453,7 @@ drwxr-xr-x	root/root	usr/lib/ocaml/compiler-libs/
 -rw-r--r--	root/root	usr/lib/ocaml/dynlink_types.cmx
 -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
 -rwxr-xr-x	root/root	usr/lib/ocaml/expunge
 -rwxr-xr-x	root/root	usr/lib/ocaml/extract_crc
 -rw-r--r--	root/root	usr/lib/ocaml/filename.ml
@@ -2094,6 +2105,7 @@ drwxr-xr-x	root/root	usr/share/man/man3/
 -rw-r--r--	root/root	usr/share/man/man3/Format.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Fun.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Gc.3o.gz
+-rw-r--r--	root/root	usr/share/man/man3/Gc.Memprof.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Genlex.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Hashtbl.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Hashtbl.HashedType.3o.gz
@@ -2141,6 +2153,7 @@ drwxr-xr-x	root/root	usr/share/man/man3/
 -rw-r--r--	root/root	usr/share/man/man3/Misc.Error_style.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Misc.Int_literal_converter.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Misc.LongString.3o.gz
+-rw-r--r--	root/root	usr/share/man/man3/Misc.Magic_number.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Misc.Stdlib.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Misc.Stdlib.Array.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Misc.Stdlib.List.3o.gz
@@ -2184,8 +2197,6 @@ drwxr-xr-x	root/root	usr/share/man/man3/
 -rw-r--r--	root/root	usr/share/man/man3/Parser.MenhirInterpreter.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Parsetree.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Parsing.3o.gz
--rw-r--r--	root/root	usr/share/man/man3/Pervasives.3o.gz
--rw-r--r--	root/root	usr/share/man/man3/Pervasives.LargeFile.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Pparse.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Pprintast.3o.gz
 -rw-r--r--	root/root	usr/share/man/man3/Printast.3o.gz
diff --git a/ocaml/.signature b/ocaml/.signature
index f04a1f24b..c83546705 100644
--- a/ocaml/.signature
+++ b/ocaml/.signature
@@ -1,5 +1,5 @@
 untrusted comment: verify with /etc/ports/opt.pub
-RWSE3ohX2g5d/VS4yEENuXpGePBxAgIsXkrtVK8DVN/ne4km2Qqy3BQrGSm+Ks2vk5ujmncxgqhuQ3+klTnl+83b+bc9FcVPzQY=
-SHA256 (Pkgfile) = df10ed97a58c03655f42d1aaf4ba5416381411ead8cc375e1c0ee626b6d321cf
-SHA256 (.footprint) = b75e779234c46ad160f99b5da1fbd5573fdb70dfa5b8af8f2fee40e6ef3665e5
-SHA256 (ocaml-4.10.0.tar.xz) = 30734db17b609fdd1609c39a05912325c299023968a2c783e5955dd5163dfeb7
+RWSE3ohX2g5d/SHO1yfe0R4hdkFCu1TE1TQHiy9e2pLr+dai62uLD05RMoZngKh2/Ru9Ag2nLy93EuVUnXYra0eViOTU89NfGwM=
+SHA256 (Pkgfile) = 301cc27b791a4e23661b4c57359f06c50aa065dfcd9fa0d8a735ac1c24218ddb
+SHA256 (.footprint) = 0c05863f4c3dc30e67fda8200d4c1742dfccf2250d565986f629153f4d99b9b6
+SHA256 (ocaml-4.11.0.tar.xz) = ffe4a9093b67dda3c23b8210f8e014c044405bc28198a7828078561d9d1f6111
diff --git a/ocaml/Pkgfile b/ocaml/Pkgfile
index da0a18915..89b6d4e37 100644
--- a/ocaml/Pkgfile
+++ b/ocaml/Pkgfile
@@ -4,7 +4,7 @@
 # Depends on:  binutils
 
 name=ocaml
-version=4.10.0
+version=4.11.0
 release=1
 source=(http://caml.inria.fr/pub/distrib/$name-${version%.*}/$name-$version.tar.xz)
 


More information about the crux-commits mailing list