diff options
| author | Alexey Dokuchaev <danfe@FreeBSD.org> | 2022-04-16 07:19:46 +0000 |
|---|---|---|
| committer | Alexey Dokuchaev <danfe@FreeBSD.org> | 2022-04-16 07:19:46 +0000 |
| commit | 317aa0442c9942009c1f9c558f8fb6e49d4568ab (patch) | |
| tree | 3fa9ab10514af3a77b17f6f73ac1bc56b4499b6b | |
| parent | e423286964f1c26298caf15824396dd68ed18bd0 (diff) | |
| download | ports-317aa0442c9942009c1f9c558f8fb6e49d4568ab.tar.gz ports-317aa0442c9942009c1f9c558f8fb6e49d4568ab.zip | |
OCaml: transient update of the stack to version 4.07.1
This is the first step in modernizing our OCaml ports infrastructure,
as we had accumulated substantial technical debt over the years when
many of its consumer ports had not received proper care and updates.
It is currently considered as the lowest supported version (baseline)
in majority of open-source OCaml projects, which would help to pull
up other ports, e.g. `devel/ocaml-dune' in smaller, manageable pieces.
For conservative hackers among us and for compatibility with RHEL 8
which is also on it, having 4.07 in the tree would allow users stick
to that package (pkg lock it) if needed.
PR: 250408, 262781
Exp-run by: antoine
27 files changed, 618 insertions, 418 deletions
diff --git a/devel/cil/Makefile b/devel/cil/Makefile index 3db008383c59..a8fe1d646de3 100644 --- a/devel/cil/Makefile +++ b/devel/cil/Makefile @@ -14,7 +14,8 @@ LICENSE_FILE= ${WRKSRC}/LICENSE CONFLICTS= ccured -BUILD_DEPENDS= ocamlbuild:devel/ocaml-ocamlbuild +BUILD_DEPENDS= ocamlbuild:devel/ocaml-ocamlbuild \ + ${LOCALBASE}/${OCAML_SITELIBDIR}/num/META:math/ocaml-num ONLY_FOR_ARCHS= amd64 armv7 i386 powerpc powerpc64 powerpc64le USES= gmake perl5 diff --git a/devel/ocaml-camlp4/Makefile b/devel/ocaml-camlp4/Makefile index 602d13c51ad4..6b1517caf98c 100644 --- a/devel/ocaml-camlp4/Makefile +++ b/devel/ocaml-camlp4/Makefile @@ -1,7 +1,7 @@ # Created by: Michael Grünewald <michipili@gmail.com> PORTNAME= camlp4 -PORTVERSION= 4.05+2 +PORTVERSION= 4.07+1 CATEGORIES= devel PKGNAMEPREFIX= ocaml- diff --git a/devel/ocaml-camlp4/distinfo b/devel/ocaml-camlp4/distinfo index 058ba6be8a87..3978cf2d529d 100644 --- a/devel/ocaml-camlp4/distinfo +++ b/devel/ocaml-camlp4/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1533176554 -SHA256 (ocaml-camlp4-4.05+2_GH0.tar.gz) = db242c0f4896ddd9dc7d6e8064cba8bf099fb9a4d4f5ed35120978501cd3a935 -SIZE (ocaml-camlp4-4.05+2_GH0.tar.gz) = 647609 +TIMESTAMP = 1520427832 +SHA256 (ocaml-camlp4-4.07+1_GH0.tar.gz) = ecdb8963063f41b387412317685f79823a26b3f53744f0472058991876877090 +SIZE (ocaml-camlp4-4.07+1_GH0.tar.gz) = 648842 diff --git a/devel/ocaml-ppx-tools/Makefile b/devel/ocaml-ppx-tools/Makefile index 64c0efda0267..795f8301b177 100644 --- a/devel/ocaml-ppx-tools/Makefile +++ b/devel/ocaml-ppx-tools/Makefile @@ -1,9 +1,8 @@ # Created by: Michael Grünewald <michipili@gmail.com> PORTNAME= ppx-tools -PORTVERSION= 5.0 -PORTREVISION= 1 -DISTVERSIONSUFFIX= +4.05.0 +PORTVERSION= 5.1 +DISTVERSIONSUFFIX=+4.06.0 CATEGORIES= devel PKGNAMEPREFIX= ocaml- diff --git a/devel/ocaml-ppx-tools/distinfo b/devel/ocaml-ppx-tools/distinfo index e05e5a0424e8..604be0e977c4 100644 --- a/devel/ocaml-ppx-tools/distinfo +++ b/devel/ocaml-ppx-tools/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1488115400 -SHA256 (ocaml-ppx-ppx_tools-5.0+4.05.0_GH0.tar.gz) = 031e05e2f98fd77a412cff00f19262e186b0c8a1804fece06d2af05e37a563b7 -SIZE (ocaml-ppx-ppx_tools-5.0+4.05.0_GH0.tar.gz) = 17893 +TIMESTAMP = 1508834585 +SHA256 (ocaml-ppx-ppx_tools-5.1+4.06.0_GH0.tar.gz) = 413e01444bdef2c4a231ddb1281b29bbc7b0c4bd780b7da47d9255b193bfcc56 +SIZE (ocaml-ppx-ppx_tools-5.1+4.06.0_GH0.tar.gz) = 17943 diff --git a/devel/ocaml-sexplib/Makefile b/devel/ocaml-sexplib/Makefile index 727bc1a10b87..f54ed8422a6e 100644 --- a/devel/ocaml-sexplib/Makefile +++ b/devel/ocaml-sexplib/Makefile @@ -16,6 +16,7 @@ LICENSE_FILE_BSD3CLAUSE=${WRKSRC}/LICENSE-Tywith.txt BUILD_DEPENDS= ocaml-type_conv>=0:devel/ocaml-type_conv BUILD_DEPENDS+= ocamlbuild:devel/ocaml-ocamlbuild +BUILD_DEPENDS+= ${LOCALBASE}/${OCAML_SITELIBDIR}/num/META:math/ocaml-num RUN_DEPENDS= ocaml-type_conv>=0:devel/ocaml-type_conv OPTIONS_DEFINE= DOCS diff --git a/lang/ocaml/Makefile b/lang/ocaml/Makefile index 813798316af0..792a5a26664c 100644 --- a/lang/ocaml/Makefile +++ b/lang/ocaml/Makefile @@ -2,8 +2,7 @@ # for committer: bump PORTREVISION for math/facile whenever ocaml gets updated PORTNAME= ocaml -PORTVERSION= 4.05.0 -PORTREVISION= 1 +PORTVERSION= 4.07.1 CATEGORIES= lang MASTER_SITES= http://caml.inria.fr/pub/distrib/${DISTNAME:R}/ GENTOO \ http://caml.inria.fr/pub/distrib/${DISTNAME:R}/:docs @@ -27,7 +26,7 @@ BROKEN_mips= No ASM support BUILD_DEPENDS= as:devel/binutils RUN_DEPENDS= as:devel/binutils -USES= cpe compiler:c11 gmake tar:xz +USES= cpe compiler:c11 gmake shebangfix tar:xz USE_LDCONFIG= yes CPE_VENDOR= inria HAS_CONFIGURE= yes @@ -39,6 +38,11 @@ LDFLAGS_armv6= -Wl,-znotext LDFLAGS_armv7= -Wl,-znotext LDFLAGS_i386= -Wl,-znotext +SHEBANG_LANG= awk +awk_OLD_CMD= /bin/awk +awk_CMD= /usr/bin/awk +SHEBANG_FILES= tools/ocaml-instr-graph tools/ocaml-instr-report + CONFIGURE_ARGS= -verbose -prefix "${PREFIX}" \ -cc "${CC}" \ -aspp "${CC} -c" \ @@ -49,6 +53,7 @@ OPTIONS_DEFAULT=X11 THREADS CMP_LIB_DESC= Install compiler libraries MODOPT= camlp4o camlp4r ocamlc ocamldep ocamldoc ocamllex ocamlopt +PATTERN= [[:space:]]*(do|then)?[[:space:]]*)(\$$\(CP\)|cp)([[:space:]] DOCSDISTNAME= ${DISTNAME:C/([[:digit:]]+)\.([[:digit:]]+)\.([[:digit:]]+)/\1.\2/} CONFLICTS= metaocaml @@ -107,7 +112,7 @@ PLIST_SUB+= PROF="" .endif .if defined(PPC_ABI) && ${PPC_ABI} == ELFv2 -EXTRA_PATCHES= ${PATCHDIR}/extra-patch-asmcomp_power_arch.ml +EXTRA_PATCHES+= ${PATCHDIR}/extra-patch-asmcomp_power_arch.ml USE_GCC= yes .endif @@ -129,14 +134,14 @@ post-patch: @${REINPLACE_CMD} \ -e '\|MKLIB=|s|ar rc|${AR} rc|' \ -e '\|RANLIB|s|ranlib|${RANLIB}|' \ - -e '\|bytecclinkopts=|s|""|"${LDFLAGS}"|' \ - -e "\|nativecclinkopts=|s|''|\"${LDFLAGS:C/-Wl,//}\"|" \ + -e '\|^ldflags=|s|""|"${LDFLAGS}"|' \ ${WRKSRC}/configure @${REINPLACE_CMD} -e 's,$$(ARCH),$$(SYSTEM_ARCH),' \ ${WRKSRC}/Makefile ${WRKSRC}/Makefile.tools \ ${WRKSRC}/asmrun/Makefile \ + ${WRKSRC}/ocamltest/Makefile \ ${WRKSRC}/otherlibs/systhreads/Makefile \ - ${WRKSRC}/testsuite/tests/asmcomp/Makefile + ${WRKSRC}/testsuite/tests/asmgen/Makefile post-configure: @${REINPLACE_CMD} -E \ diff --git a/lang/ocaml/distinfo b/lang/ocaml/distinfo index f6b7a60c0407..0d6fce398705 100644 --- a/lang/ocaml/distinfo +++ b/lang/ocaml/distinfo @@ -1,9 +1,9 @@ -TIMESTAMP = 1532851883 -SHA256 (ocaml-4.05.0.tar.xz) = 04a527ba14b4d7d1b2ea7b2ae21aefecfa8d304399db94f35a96df1459e02ef9 -SIZE (ocaml-4.05.0.tar.xz) = 2442036 -SHA256 (ocaml-4.05-refman-html.tar.gz) = 2524723648dbbc34b42cbe2fe06822b79837299429d26ff037169b568888cd9c -SIZE (ocaml-4.05-refman-html.tar.gz) = 882287 -SHA256 (ocaml-4.05-refman.ps.gz) = 1540f86028a9460313b5ab3e0544e280052577d5dc4966f80647e1f49c5ab8df -SIZE (ocaml-4.05-refman.ps.gz) = 1221553 -SHA256 (ocaml-4.05-refman.pdf) = 3d3a82a676668ccf66fa6d88f46a2496c89b1488ee6098585a6b7f22a9171eef -SIZE (ocaml-4.05-refman.pdf) = 1741857 +TIMESTAMP = 1538663036 +SHA256 (ocaml-4.07.1.tar.xz) = dfe48b1da31da9c82d77612582fae74c80e8d1ac650e1c24f5ac9059e48307b8 +SIZE (ocaml-4.07.1.tar.xz) = 2935928 +SHA256 (ocaml-4.07-refman-html.tar.gz) = 6d97c1131a281aab57593602a19b2b4714dbf2663d513ae63abce2e5c02e8db8 +SIZE (ocaml-4.07-refman-html.tar.gz) = 1003312 +SHA256 (ocaml-4.07-refman.ps.gz) = e487b397548f54e279c9d9055611eaf05d812e14240a4c6a8d334a5e4549c99d +SIZE (ocaml-4.07-refman.ps.gz) = 1300498 +SHA256 (ocaml-4.07-refman.pdf) = 99bfa85aefa0ee7a8be1f24a270fc5d778bb077cbc4e75282f69c479acf1e707 +SIZE (ocaml-4.07-refman.pdf) = 1863450 diff --git a/lang/ocaml/files/patch-675e98a2.c b/lang/ocaml/files/patch-675e98a2.c index e7384e779170..007b349dd5d2 100644 --- a/lang/ocaml/files/patch-675e98a2.c +++ b/lang/ocaml/files/patch-675e98a2.c @@ -1,48 +1,10 @@ --- asmrun/startup.c.orig 2017-07-13 08:56:44 UTC +++ asmrun/startup.c -@@ -44,8 +44,8 @@ +@@ -44,7 +44,6 @@ #endif extern int caml_parser_trace; -CAMLexport header_t caml_atom_table[256]; char * caml_code_area_start, * caml_code_area_end; -+struct ext_table caml_code_fragments_table; - - /* Initialize the atom table and the static data and code area limits. */ - ---- byterun/caml/intext.h.orig 2017-07-13 08:56:44 UTC -+++ byterun/caml/intext.h -@@ -196,7 +196,7 @@ struct code_fragment { - - CAMLextern struct code_fragment * caml_extern_find_code(char *addr); - --struct ext_table caml_code_fragments_table; -+extern struct ext_table caml_code_fragments_table; - - #endif /* CAML_INTERNALS */ - ---- byterun/caml/major_gc.h.orig 2017-07-13 08:56:44 UTC -+++ byterun/caml/major_gc.h -@@ -64,9 +64,9 @@ extern uintnat total_heap_size; - extern char *caml_gc_sweep_hp; - - extern int caml_major_window; --double caml_major_ring[Max_major_window]; --int caml_major_ring_index; --double caml_major_work_credit; -+extern double caml_major_ring[Max_major_window]; -+extern int caml_major_ring_index; -+extern double caml_major_work_credit; - extern double caml_gc_clock; - - /* [caml_major_gc_hook] is called just between the end of the mark ---- byterun/fix_code.c.orig 2017-07-13 08:56:44 UTC -+++ byterun/fix_code.c -@@ -38,6 +38,7 @@ - code_t caml_start_code; - asize_t caml_code_size; - unsigned char * caml_saved_code; -+struct ext_table caml_code_fragments_table; - - /* Read the main bytecode block from a file */ + struct ext_table caml_code_fragments_table; diff --git a/lang/ocaml/files/patch-configure b/lang/ocaml/files/patch-configure index 7daf041f41a4..b7be1fa6c6ba 100644 --- a/lang/ocaml/files/patch-configure +++ b/lang/ocaml/files/patch-configure @@ -1,22 +1,13 @@ --- configure.orig 2017-07-13 08:56:44 UTC +++ configure -@@ -806,7 +806,7 @@ if test $with_sharedlibs = "yes"; then - *-*-linux-gnu|*-*-linux|*-*-freebsd[3-9]*|*-*-freebsd[1-9][0-9]*\ - |*-*-openbsd*|*-*-netbsd*|*-*-dragonfly*|*-*-gnu*|*-*-haiku*) - sharedcccompopts="-fPIC" -- mksharedlib="$bytecc -shared" -+ mksharedlib="$bytecc $bytecclinkopts -shared" - bytecclinkopts="$bytecclinkopts -Wl,-E" - byteccrpath="-Wl,-rpath," - mksharedlibrpath="-Wl,-rpath," @@ -838,6 +838,7 @@ if test $with_sharedlibs = "yes"; then x86_64-*-darwin*) natdynlink=true;; s390x*-*-linux*) natdynlink=true;; powerpc*-*-linux*) natdynlink=true;; + powerpc*-*-freebsd*) natdynlink=true;; - sparc*-*-linux*) natdynlink=true;; i686-*-kfreebsd*) natdynlink=true;; x86_64-*-kfreebsd*) natdynlink=true;; + x86_64-*-dragonfly*) natdynlink=true;; @@ -854,6 +855,7 @@ if test $with_sharedlibs = "yes"; then arm*-*-freebsd*) natdynlink=true;; earm*-*-netbsd*) natdynlink=true;; @@ -33,7 +24,7 @@ + powerpc*-*-freebsd*) arch=power; + if $arch64; then model=ppc64; else model=ppc; fi + system=bsd_elf;; - powerpc-*-netbsd*) arch=power; model=ppc; system=elf;; + powerpc-*-netbsd*) arch=power; model=ppc; system=netbsd;; powerpc-*-openbsd*) arch=power; model=ppc; system=bsd_elf;; s390x*-*-linux*) arch=s390x; model=z10; system=elf;; @@ -930,6 +936,7 @@ case "$target" in @@ -65,21 +56,21 @@ arm,linux*) profiling='true';; power,elf) profiling='true';; power,bsd*) profiling='true';; -@@ -1168,7 +1178,7 @@ fi - - if test "$with_curses" = "yes"; then - for libs in "" "-lcurses" "-ltermcap" "-lcurses -ltermcap" "-lncurses"; do -- if sh ./hasgot $libs tgetent tgetstr tgetnum tputs; then -+ if sh ./hasgot -i term.h $libs tgetent tgetstr tgetnum tputs; then - inf "termcap functions found (with libraries '$libs')" - echo "#define HAS_TERMCAP" >> s.h - curseslibs="${libs}" @@ -2029,7 +2037,7 @@ MKLIB=${TOOLPREF}ar rc \$(1) \$(2); ${TOOLPREF}ranlib - #ml Printf.sprintf "${TOOLPREF}ar rc %s %s %s; ${TOOLPREF}ranlib %s" + #ml Printf.sprintf "${TOOLPREF}ar rc %s %s %s && ${TOOLPREF}ranlib %s" #ml out opts files out;; EOF --echo "ARCH=$arch" >> Makefile -+echo "SYSTEM_ARCH=$arch" >> Makefile - echo "MODEL=$model" >> Makefile - echo "SYSTEM=$system" >> Makefile - echo "NATIVECC=$nativecc $nativecccompopts" >> Makefile +-config ARCH "$arch" ++config SYSTEM_ARCH "$arch" + config MODEL "$model" + config SYSTEM "$system" + config OCAMLOPT_CFLAGS "$common_cflags" +@@ -2112,7 +2122,7 @@ config NATDYNLINK "$natdynlink" + config CMXS "$cmxs" + config MKEXE "$mkexe" + config MKEXEDEBUGFLAG "$mkexedebugflag" +-config MKDLL "$mksharedlib" ++config MKDLL "$mksharedlib \$(LDFLAGS)" + config MKMAINDLL "$mkmaindll" + config RUNTIMED "${debugruntime}" + config RUNTIMEI "${with_instrumented_runtime}" diff --git a/lang/ocaml/files/patch-testsuite_tests_asmcomp_power.S b/lang/ocaml/files/patch-testsuite_tests_asmcomp_power.S index daf05feb85fb..eaf73a084d5b 100644 --- a/lang/ocaml/files/patch-testsuite_tests_asmcomp_power.S +++ b/lang/ocaml/files/patch-testsuite_tests_asmcomp_power.S @@ -1,5 +1,5 @@ ---- testsuite/tests/asmcomp/power.S.orig 2019-12-02 12:36:28 UTC -+++ testsuite/tests/asmcomp/power.S +--- testsuite/tests/asmgen/power.S.orig 2019-12-02 12:36:28 UTC ++++ testsuite/tests/asmgen/power.S @@ -26,11 +26,11 @@ #define RESERVED_STACK 16 #define LR_SAVE_AREA 4 diff --git a/lang/ocaml/pkg-plist b/lang/ocaml/pkg-plist index 6eb5f1aef0a8..8c9e10b5dd2d 100644 --- a/lang/ocaml/pkg-plist +++ b/lang/ocaml/pkg-plist @@ -1,7 +1,10 @@ bin/ocaml +bin/ocaml-instr-graph +bin/ocaml-instr-report bin/ocamlc bin/ocamlc.byte bin/ocamlc.opt +bin/ocamlcmt bin/ocamlcp bin/ocamlcp.byte bin/ocamlcp.opt @@ -33,42 +36,17 @@ bin/ocamlprof bin/ocamlprof.byte bin/ocamlprof.opt bin/ocamlrun +bin/ocamlrund +bin/ocamlruni bin/ocamlyacc lib/ocaml/Makefile.config lib/ocaml/VERSION -lib/ocaml/arg.cmi -lib/ocaml/arg.cmt -lib/ocaml/arg.cmti -lib/ocaml/arg.cmx lib/ocaml/arg.ml lib/ocaml/arg.mli -lib/ocaml/arg.p.cmt -%%PROF%%lib/ocaml/arg.p.cmx -lib/ocaml/arith_flags.cmx -lib/ocaml/arith_status.cmi -lib/ocaml/arith_status.cmti -lib/ocaml/arith_status.cmx -lib/ocaml/arith_status.mli -lib/ocaml/array.cmi -lib/ocaml/array.cmt -lib/ocaml/array.cmti -lib/ocaml/array.cmx lib/ocaml/array.ml lib/ocaml/array.mli -lib/ocaml/array.p.cmt -%%PROF%%lib/ocaml/array.p.cmx -lib/ocaml/arrayLabels.cmi -lib/ocaml/arrayLabels.cmt -lib/ocaml/arrayLabels.cmti -lib/ocaml/arrayLabels.cmx lib/ocaml/arrayLabels.ml lib/ocaml/arrayLabels.mli -lib/ocaml/arrayLabels.p.cmt -%%PROF%%lib/ocaml/arrayLabels.p.cmx -lib/ocaml/big_int.cmi -lib/ocaml/big_int.cmti -lib/ocaml/big_int.cmx -lib/ocaml/big_int.mli lib/ocaml/bigarray.a lib/ocaml/bigarray.cma lib/ocaml/bigarray.cmi @@ -76,39 +54,16 @@ lib/ocaml/bigarray.cmti lib/ocaml/bigarray.cmx lib/ocaml/bigarray.cmxa lib/ocaml/bigarray.cmxs +lib/ocaml/bigarray.ml lib/ocaml/bigarray.mli -lib/ocaml/buffer.cmi -lib/ocaml/buffer.cmt -lib/ocaml/buffer.cmti -lib/ocaml/buffer.cmx lib/ocaml/buffer.ml lib/ocaml/buffer.mli -lib/ocaml/buffer.p.cmt -%%PROF%%lib/ocaml/buffer.p.cmx -lib/ocaml/bytes.cmi -lib/ocaml/bytes.cmt -lib/ocaml/bytes.cmti -lib/ocaml/bytes.cmx lib/ocaml/bytes.ml lib/ocaml/bytes.mli -lib/ocaml/bytes.p.cmt -%%PROF%%lib/ocaml/bytes.p.cmx -lib/ocaml/bytesLabels.cmi -lib/ocaml/bytesLabels.cmt -lib/ocaml/bytesLabels.cmti -lib/ocaml/bytesLabels.cmx lib/ocaml/bytesLabels.ml lib/ocaml/bytesLabels.mli -lib/ocaml/bytesLabels.p.cmt -%%PROF%%lib/ocaml/bytesLabels.p.cmx -lib/ocaml/callback.cmi -lib/ocaml/callback.cmt -lib/ocaml/callback.cmti -lib/ocaml/callback.cmx lib/ocaml/callback.ml lib/ocaml/callback.mli -lib/ocaml/callback.p.cmt -%%PROF%%lib/ocaml/callback.p.cmx lib/ocaml/caml/address_class.h lib/ocaml/caml/alloc.h lib/ocaml/caml/backtrace.h @@ -141,17 +96,20 @@ lib/ocaml/caml/interp.h lib/ocaml/caml/intext.h lib/ocaml/caml/io.h lib/ocaml/caml/jumptbl.h +lib/ocaml/caml/m.h lib/ocaml/caml/major_gc.h lib/ocaml/caml/md5.h lib/ocaml/caml/memory.h lib/ocaml/caml/minor_gc.h lib/ocaml/caml/misc.h lib/ocaml/caml/mlvalues.h +lib/ocaml/caml/opnames.h lib/ocaml/caml/osdeps.h lib/ocaml/caml/prims.h lib/ocaml/caml/printexc.h lib/ocaml/caml/reverse.h lib/ocaml/caml/roots.h +lib/ocaml/caml/s.h lib/ocaml/caml/signals.h lib/ocaml/caml/signals_machdep.h lib/ocaml/caml/socketaddr.h @@ -208,14 +166,8 @@ lib/ocaml/camlinternalOO.ml lib/ocaml/camlinternalOO.mli lib/ocaml/camlinternalOO.p.cmt %%PROF%%lib/ocaml/camlinternalOO.p.cmx -lib/ocaml/char.cmi -lib/ocaml/char.cmt -lib/ocaml/char.cmti -lib/ocaml/char.cmx lib/ocaml/char.ml lib/ocaml/char.mli -lib/ocaml/char.p.cmt -%%PROF%%lib/ocaml/char.p.cmx lib/ocaml/compiler-libs/CSE.cmi lib/ocaml/compiler-libs/CSE.cmt lib/ocaml/compiler-libs/CSE.cmx @@ -321,6 +273,11 @@ lib/ocaml/compiler-libs/build_export_info.cmt lib/ocaml/compiler-libs/build_export_info.cmti lib/ocaml/compiler-libs/build_export_info.cmx lib/ocaml/compiler-libs/build_export_info.mli +lib/ocaml/compiler-libs/build_path_prefix_map.cmi +lib/ocaml/compiler-libs/build_path_prefix_map.cmt +lib/ocaml/compiler-libs/build_path_prefix_map.cmti +lib/ocaml/compiler-libs/build_path_prefix_map.cmx +lib/ocaml/compiler-libs/build_path_prefix_map.mli lib/ocaml/compiler-libs/builtin_attributes.cmi lib/ocaml/compiler-libs/builtin_attributes.cmt lib/ocaml/compiler-libs/builtin_attributes.cmti @@ -392,6 +349,10 @@ lib/ocaml/compiler-libs/closure_offsets.cmt lib/ocaml/compiler-libs/closure_offsets.cmti lib/ocaml/compiler-libs/closure_offsets.cmx lib/ocaml/compiler-libs/closure_offsets.mli +lib/ocaml/compiler-libs/closure_origin.cmi +lib/ocaml/compiler-libs/closure_origin.cmt +lib/ocaml/compiler-libs/closure_origin.cmti +lib/ocaml/compiler-libs/closure_origin.mli lib/ocaml/compiler-libs/cmi_format.cmi lib/ocaml/compiler-libs/cmi_format.cmt lib/ocaml/compiler-libs/cmi_format.cmti @@ -676,6 +637,15 @@ lib/ocaml/compiler-libs/interf.cmt lib/ocaml/compiler-libs/interf.cmti lib/ocaml/compiler-libs/interf.cmx lib/ocaml/compiler-libs/interf.mli +lib/ocaml/compiler-libs/internal_variable_names.cmi +lib/ocaml/compiler-libs/internal_variable_names.cmt +lib/ocaml/compiler-libs/internal_variable_names.cmti +lib/ocaml/compiler-libs/internal_variable_names.mli +lib/ocaml/compiler-libs/interval.cmi +lib/ocaml/compiler-libs/interval.cmt +lib/ocaml/compiler-libs/interval.cmti +lib/ocaml/compiler-libs/interval.cmx +lib/ocaml/compiler-libs/interval.mli lib/ocaml/compiler-libs/invariant_params.cmi lib/ocaml/compiler-libs/invariant_params.cmt lib/ocaml/compiler-libs/invariant_params.cmti @@ -711,6 +681,11 @@ lib/ocaml/compiler-libs/linkage_name.cmi lib/ocaml/compiler-libs/linkage_name.cmt lib/ocaml/compiler-libs/linkage_name.cmti lib/ocaml/compiler-libs/linkage_name.mli +lib/ocaml/compiler-libs/linscan.cmi +lib/ocaml/compiler-libs/linscan.cmt +lib/ocaml/compiler-libs/linscan.cmti +lib/ocaml/compiler-libs/linscan.cmx +lib/ocaml/compiler-libs/linscan.mli lib/ocaml/compiler-libs/liveness.cmi lib/ocaml/compiler-libs/liveness.cmt lib/ocaml/compiler-libs/liveness.cmti @@ -743,6 +718,11 @@ lib/ocaml/compiler-libs/main_args.cmt lib/ocaml/compiler-libs/main_args.cmti lib/ocaml/compiler-libs/main_args.cmx lib/ocaml/compiler-libs/main_args.mli +lib/ocaml/compiler-libs/makedepend.cmi +lib/ocaml/compiler-libs/makedepend.cmt +lib/ocaml/compiler-libs/makedepend.cmti +lib/ocaml/compiler-libs/makedepend.cmx +lib/ocaml/compiler-libs/makedepend.mli lib/ocaml/compiler-libs/matching.cmi lib/ocaml/compiler-libs/matching.cmt lib/ocaml/compiler-libs/matching.cmti @@ -817,6 +797,10 @@ lib/ocaml/compiler-libs/opttopmain.mli lib/ocaml/compiler-libs/outcometree.cmi lib/ocaml/compiler-libs/outcometree.cmti lib/ocaml/compiler-libs/outcometree.mli +lib/ocaml/compiler-libs/parameter.cmi +lib/ocaml/compiler-libs/parameter.cmt +lib/ocaml/compiler-libs/parameter.cmti +lib/ocaml/compiler-libs/parameter.mli lib/ocaml/compiler-libs/parmatch.cmi lib/ocaml/compiler-libs/parmatch.cmt lib/ocaml/compiler-libs/parmatch.cmti @@ -899,6 +883,11 @@ lib/ocaml/compiler-libs/printmach.cmt lib/ocaml/compiler-libs/printmach.cmti lib/ocaml/compiler-libs/printmach.cmx lib/ocaml/compiler-libs/printmach.mli +lib/ocaml/compiler-libs/printpat.cmi +lib/ocaml/compiler-libs/printpat.cmt +lib/ocaml/compiler-libs/printpat.cmti +lib/ocaml/compiler-libs/printpat.cmx +lib/ocaml/compiler-libs/printpat.mli lib/ocaml/compiler-libs/printtyp.cmi lib/ocaml/compiler-libs/printtyp.cmt lib/ocaml/compiler-libs/printtyp.cmti @@ -914,6 +903,11 @@ lib/ocaml/compiler-libs/proc.cmt lib/ocaml/compiler-libs/proc.cmti lib/ocaml/compiler-libs/proc.cmx lib/ocaml/compiler-libs/proc.mli +lib/ocaml/compiler-libs/profile.cmi +lib/ocaml/compiler-libs/profile.cmt +lib/ocaml/compiler-libs/profile.cmti +lib/ocaml/compiler-libs/profile.cmx +lib/ocaml/compiler-libs/profile.mli lib/ocaml/compiler-libs/projection.cmi lib/ocaml/compiler-libs/projection.cmt lib/ocaml/compiler-libs/projection.cmti @@ -1101,11 +1095,6 @@ lib/ocaml/compiler-libs/terminfo.cmt lib/ocaml/compiler-libs/terminfo.cmti lib/ocaml/compiler-libs/terminfo.cmx lib/ocaml/compiler-libs/terminfo.mli -lib/ocaml/compiler-libs/timings.cmi -lib/ocaml/compiler-libs/timings.cmt -lib/ocaml/compiler-libs/timings.cmti -lib/ocaml/compiler-libs/timings.cmx -lib/ocaml/compiler-libs/timings.mli lib/ocaml/compiler-libs/topdirs.cmi lib/ocaml/compiler-libs/topdirs.cmt lib/ocaml/compiler-libs/topdirs.cmti @@ -1150,6 +1139,16 @@ lib/ocaml/compiler-libs/translobj.cmt lib/ocaml/compiler-libs/translobj.cmti lib/ocaml/compiler-libs/translobj.cmx lib/ocaml/compiler-libs/translobj.mli +lib/ocaml/compiler-libs/translprim.cmi +lib/ocaml/compiler-libs/translprim.cmt +lib/ocaml/compiler-libs/translprim.cmti +lib/ocaml/compiler-libs/translprim.cmx +lib/ocaml/compiler-libs/translprim.mli +lib/ocaml/compiler-libs/traverse_for_exported_symbols.cmi +lib/ocaml/compiler-libs/traverse_for_exported_symbols.cmt +lib/ocaml/compiler-libs/traverse_for_exported_symbols.cmti +lib/ocaml/compiler-libs/traverse_for_exported_symbols.cmx +lib/ocaml/compiler-libs/traverse_for_exported_symbols.mli lib/ocaml/compiler-libs/typeclass.cmi lib/ocaml/compiler-libs/typeclass.cmt lib/ocaml/compiler-libs/typeclass.cmti @@ -1258,23 +1257,11 @@ lib/ocaml/compiler-libs/x86_proc.cmt lib/ocaml/compiler-libs/x86_proc.cmti lib/ocaml/compiler-libs/x86_proc.cmx lib/ocaml/compiler-libs/x86_proc.mli -lib/ocaml/complex.cmi -lib/ocaml/complex.cmt -lib/ocaml/complex.cmti -lib/ocaml/complex.cmx lib/ocaml/complex.ml lib/ocaml/complex.mli -lib/ocaml/complex.p.cmt -%%PROF%%lib/ocaml/complex.p.cmx %%THREADS%%lib/ocaml/condition.mli -lib/ocaml/digest.cmi -lib/ocaml/digest.cmt -lib/ocaml/digest.cmti -lib/ocaml/digest.cmx lib/ocaml/digest.ml lib/ocaml/digest.mli -lib/ocaml/digest.p.cmt -%%PROF%%lib/ocaml/digest.p.cmx lib/ocaml/dynlink.a lib/ocaml/dynlink.cma lib/ocaml/dynlink.cmi @@ -1282,47 +1269,19 @@ lib/ocaml/dynlink.cmti lib/ocaml/dynlink.cmx lib/ocaml/dynlink.cmxa lib/ocaml/dynlink.mli -lib/ocaml/ephemeron.cmi -lib/ocaml/ephemeron.cmt -lib/ocaml/ephemeron.cmti -lib/ocaml/ephemeron.cmx lib/ocaml/ephemeron.ml lib/ocaml/ephemeron.mli -lib/ocaml/ephemeron.p.cmt -lib/ocaml/ephemeron.p.cmx %%THREADS%%lib/ocaml/event.mli -lib/ocaml/filename.cmi -lib/ocaml/filename.cmt -lib/ocaml/filename.cmti -lib/ocaml/filename.cmx lib/ocaml/filename.ml lib/ocaml/filename.mli -lib/ocaml/filename.p.cmt -%%PROF%%lib/ocaml/filename.p.cmx -lib/ocaml/format.cmi -lib/ocaml/format.cmt -lib/ocaml/format.cmti -lib/ocaml/format.cmx +lib/ocaml/float.ml +lib/ocaml/float.mli lib/ocaml/format.ml lib/ocaml/format.mli -lib/ocaml/format.p.cmt -%%PROF%%lib/ocaml/format.p.cmx -lib/ocaml/gc.cmi -lib/ocaml/gc.cmt -lib/ocaml/gc.cmti -lib/ocaml/gc.cmx lib/ocaml/gc.ml lib/ocaml/gc.mli -lib/ocaml/gc.p.cmt -%%PROF%%lib/ocaml/gc.p.cmx -lib/ocaml/genlex.cmi -lib/ocaml/genlex.cmt -lib/ocaml/genlex.cmti -lib/ocaml/genlex.cmx lib/ocaml/genlex.ml lib/ocaml/genlex.mli -lib/ocaml/genlex.p.cmt -%%PROF%%lib/ocaml/genlex.p.cmx %%X11%%lib/ocaml/graphics.a %%X11%%lib/ocaml/graphics.cma %%X11%%lib/ocaml/graphics.cmi @@ -1335,131 +1294,50 @@ lib/ocaml/genlex.p.cmt %%X11%%lib/ocaml/graphicsX11.cmti %%X11%%lib/ocaml/graphicsX11.cmx %%X11%%lib/ocaml/graphicsX11.mli -lib/ocaml/hashtbl.cmi -lib/ocaml/hashtbl.cmt -lib/ocaml/hashtbl.cmti -lib/ocaml/hashtbl.cmx lib/ocaml/hashtbl.ml lib/ocaml/hashtbl.mli -lib/ocaml/hashtbl.p.cmt -%%PROF%%lib/ocaml/hashtbl.p.cmx -lib/ocaml/int32.cmi -lib/ocaml/int32.cmt -lib/ocaml/int32.cmti -lib/ocaml/int32.cmx lib/ocaml/int32.ml lib/ocaml/int32.mli -lib/ocaml/int32.p.cmt -%%PROF%%lib/ocaml/int32.p.cmx -lib/ocaml/int64.cmi -lib/ocaml/int64.cmt -lib/ocaml/int64.cmti -lib/ocaml/int64.cmx lib/ocaml/int64.ml lib/ocaml/int64.mli -lib/ocaml/int64.p.cmt -%%PROF%%lib/ocaml/int64.p.cmx -lib/ocaml/int_misc.cmx -lib/ocaml/lazy.cmi -lib/ocaml/lazy.cmt -lib/ocaml/lazy.cmti -lib/ocaml/lazy.cmx lib/ocaml/lazy.ml lib/ocaml/lazy.mli -lib/ocaml/lazy.p.cmt -%%PROF%%lib/ocaml/lazy.p.cmx lib/ocaml/ld.conf -lib/ocaml/lexing.cmi -lib/ocaml/lexing.cmt -lib/ocaml/lexing.cmti -lib/ocaml/lexing.cmx lib/ocaml/lexing.ml lib/ocaml/lexing.mli -lib/ocaml/lexing.p.cmt -%%PROF%%lib/ocaml/lexing.p.cmx lib/ocaml/libasmrun.a lib/ocaml/libasmrun_pic.a lib/ocaml/libasmrun_shared.so +lib/ocaml/libasmrund.a +lib/ocaml/libasmruni.a lib/ocaml/libasmrunp.a lib/ocaml/libbigarray.a lib/ocaml/libcamlrun.a lib/ocaml/libcamlrun_pic.a lib/ocaml/libcamlrun_shared.so +lib/ocaml/libcamlrund.a +lib/ocaml/libcamlruni.a lib/ocaml/libcamlstr.a %%X11%%lib/ocaml/libgraphics.a -lib/ocaml/libnums.a +lib/ocaml/libraw_spacetime_lib.a %%THREADS%%lib/ocaml/libthreads.a %%THREADS%%lib/ocaml/libthreadsnat.a lib/ocaml/libunix.a -lib/ocaml/list.cmi -lib/ocaml/list.cmt -lib/ocaml/list.cmti -lib/ocaml/list.cmx lib/ocaml/list.ml lib/ocaml/list.mli -lib/ocaml/list.p.cmt -%%PROF%%lib/ocaml/list.p.cmx -lib/ocaml/listLabels.cmi -lib/ocaml/listLabels.cmt -lib/ocaml/listLabels.cmti -lib/ocaml/listLabels.cmx lib/ocaml/listLabels.ml lib/ocaml/listLabels.mli -lib/ocaml/listLabels.p.cmt -%%PROF%%lib/ocaml/listLabels.p.cmx -lib/ocaml/map.cmi -lib/ocaml/map.cmt -lib/ocaml/map.cmti -lib/ocaml/map.cmx lib/ocaml/map.ml lib/ocaml/map.mli -lib/ocaml/map.p.cmt -%%PROF%%lib/ocaml/map.p.cmx -lib/ocaml/marshal.cmi -lib/ocaml/marshal.cmt -lib/ocaml/marshal.cmti -lib/ocaml/marshal.cmx lib/ocaml/marshal.ml lib/ocaml/marshal.mli -lib/ocaml/marshal.p.cmt -%%PROF%%lib/ocaml/marshal.p.cmx -lib/ocaml/moreLabels.cmi -lib/ocaml/moreLabels.cmt -lib/ocaml/moreLabels.cmti -lib/ocaml/moreLabels.cmx lib/ocaml/moreLabels.ml lib/ocaml/moreLabels.mli -lib/ocaml/moreLabels.p.cmt -%%PROF%%lib/ocaml/moreLabels.p.cmx %%THREADS%%lib/ocaml/mutex.mli -lib/ocaml/nat.cmi -lib/ocaml/nat.cmti -lib/ocaml/nat.cmx -lib/ocaml/nat.mli -lib/ocaml/nativeint.cmi -lib/ocaml/nativeint.cmt -lib/ocaml/nativeint.cmti -lib/ocaml/nativeint.cmx lib/ocaml/nativeint.ml lib/ocaml/nativeint.mli -lib/ocaml/nativeint.p.cmt -%%PROF%%lib/ocaml/nativeint.p.cmx -lib/ocaml/num.cmi -lib/ocaml/num.cmti -lib/ocaml/num.cmx -lib/ocaml/num.mli -lib/ocaml/nums.a -lib/ocaml/nums.cma -lib/ocaml/nums.cmxa -lib/ocaml/nums.cmxs -lib/ocaml/obj.cmi -lib/ocaml/obj.cmt -lib/ocaml/obj.cmti -lib/ocaml/obj.cmx lib/ocaml/obj.ml lib/ocaml/obj.mli -lib/ocaml/obj.p.cmt -%%PROF%%lib/ocaml/obj.p.cmx lib/ocaml/objinfo_helper lib/ocaml/ocamldoc/ocamldoc.hva lib/ocaml/ocamldoc/odoc.cmi @@ -1563,127 +1441,46 @@ lib/ocaml/ocamldoc/odoc_types.cmi lib/ocaml/ocamldoc/odoc_types.cmx lib/ocaml/ocamldoc/odoc_value.cmi lib/ocaml/ocamldoc/odoc_value.cmx -lib/ocaml/oo.cmi -lib/ocaml/oo.cmt -lib/ocaml/oo.cmti -lib/ocaml/oo.cmx lib/ocaml/oo.ml lib/ocaml/oo.mli -lib/ocaml/oo.p.cmt -%%PROF%%lib/ocaml/oo.p.cmx -lib/ocaml/parsing.cmi -lib/ocaml/parsing.cmt -lib/ocaml/parsing.cmti -lib/ocaml/parsing.cmx lib/ocaml/parsing.ml lib/ocaml/parsing.mli -lib/ocaml/parsing.p.cmt -%%PROF%%lib/ocaml/parsing.p.cmx -lib/ocaml/pervasives.cmi -lib/ocaml/pervasives.cmt -lib/ocaml/pervasives.cmti -lib/ocaml/pervasives.cmx -lib/ocaml/pervasives.ml -lib/ocaml/pervasives.mli -lib/ocaml/pervasives.p.cmt -%%PROF%%lib/ocaml/pervasives.p.cmx -lib/ocaml/printexc.cmi -lib/ocaml/printexc.cmt -lib/ocaml/printexc.cmti -lib/ocaml/printexc.cmx lib/ocaml/printexc.ml lib/ocaml/printexc.mli -lib/ocaml/printexc.p.cmt -%%PROF%%lib/ocaml/printexc.p.cmx -lib/ocaml/printf.cmi -lib/ocaml/printf.cmt -lib/ocaml/printf.cmti -lib/ocaml/printf.cmx lib/ocaml/printf.ml lib/ocaml/printf.mli -lib/ocaml/printf.p.cmt -%%PROF%%lib/ocaml/printf.p.cmx lib/ocaml/profiling.cmi lib/ocaml/profiling.cmo lib/ocaml/profiling.cmt lib/ocaml/profiling.cmti lib/ocaml/profiling.cmx lib/ocaml/profiling.o -lib/ocaml/queue.cmi -lib/ocaml/queue.cmt -lib/ocaml/queue.cmti -lib/ocaml/queue.cmx lib/ocaml/queue.ml lib/ocaml/queue.mli -lib/ocaml/queue.p.cmt -%%PROF%%lib/ocaml/queue.p.cmx -lib/ocaml/random.cmi -lib/ocaml/random.cmt -lib/ocaml/random.cmti -lib/ocaml/random.cmx lib/ocaml/random.ml lib/ocaml/random.mli -lib/ocaml/random.p.cmt -%%PROF%%lib/ocaml/random.p.cmx -lib/ocaml/ratio.cmi -lib/ocaml/ratio.cmti -lib/ocaml/ratio.cmx -lib/ocaml/ratio.mli lib/ocaml/raw_spacetime_lib.a lib/ocaml/raw_spacetime_lib.cma lib/ocaml/raw_spacetime_lib.cmi +lib/ocaml/raw_spacetime_lib.cmti lib/ocaml/raw_spacetime_lib.cmx lib/ocaml/raw_spacetime_lib.cmxa lib/ocaml/raw_spacetime_lib.cmxs lib/ocaml/raw_spacetime_lib.mli -lib/ocaml/scanf.cmi -lib/ocaml/scanf.cmt -lib/ocaml/scanf.cmti -lib/ocaml/scanf.cmx lib/ocaml/scanf.ml lib/ocaml/scanf.mli -lib/ocaml/scanf.p.cmt -%%PROF%%lib/ocaml/scanf.p.cmx -lib/ocaml/set.cmi -lib/ocaml/set.cmt -lib/ocaml/set.cmti -lib/ocaml/set.cmx +lib/ocaml/seq.ml +lib/ocaml/seq.mli lib/ocaml/set.ml lib/ocaml/set.mli -lib/ocaml/set.p.cmt -%%PROF%%lib/ocaml/set.p.cmx -lib/ocaml/sort.cmi -lib/ocaml/sort.cmt -lib/ocaml/sort.cmti -lib/ocaml/sort.cmx lib/ocaml/sort.ml lib/ocaml/sort.mli -lib/ocaml/sort.p.cmt -%%PROF%%lib/ocaml/sort.p.cmx -lib/ocaml/spacetime.cmi -lib/ocaml/spacetime.cmt -lib/ocaml/spacetime.cmti -lib/ocaml/spacetime.cmx lib/ocaml/spacetime.ml lib/ocaml/spacetime.mli -lib/ocaml/spacetime.p.cmt -lib/ocaml/spacetime.p.cmx -lib/ocaml/stack.cmi -lib/ocaml/stack.cmt -lib/ocaml/stack.cmti -lib/ocaml/stack.cmx lib/ocaml/stack.ml lib/ocaml/stack.mli -lib/ocaml/stack.p.cmt -%%PROF%%lib/ocaml/stack.p.cmx -lib/ocaml/stdLabels.cmi -lib/ocaml/stdLabels.cmt -lib/ocaml/stdLabels.cmti -lib/ocaml/stdLabels.cmx lib/ocaml/stdLabels.ml lib/ocaml/stdLabels.mli -lib/ocaml/stdLabels.p.cmt -%%PROF%%lib/ocaml/stdLabels.p.cmx lib/ocaml/std_exit.cmi lib/ocaml/std_exit.cmo lib/ocaml/std_exit.cmt @@ -1691,13 +1488,309 @@ lib/ocaml/std_exit.cmx lib/ocaml/std_exit.ml lib/ocaml/std_exit.o lib/ocaml/std_exit.p.cmt -%%PROF%%lib/ocaml/std_exit.p.cmx -%%PROF%%lib/ocaml/std_exit.p.o +lib/ocaml/std_exit.p.cmx +lib/ocaml/std_exit.p.o lib/ocaml/stdlib.a lib/ocaml/stdlib.cma +lib/ocaml/stdlib.cmi +lib/ocaml/stdlib.cmt +lib/ocaml/stdlib.cmti +lib/ocaml/stdlib.cmx lib/ocaml/stdlib.cmxa -%%PROF%%lib/ocaml/stdlib.p.a -%%PROF%%lib/ocaml/stdlib.p.cmxa +lib/ocaml/stdlib.ml +lib/ocaml/stdlib.mli +lib/ocaml/stdlib.p.a +lib/ocaml/stdlib.p.cmt +lib/ocaml/stdlib.p.cmx +lib/ocaml/stdlib.p.cmxa +lib/ocaml/stdlib__arg.cmi +lib/ocaml/stdlib__arg.cmt +lib/ocaml/stdlib__arg.cmti +lib/ocaml/stdlib__arg.cmx +lib/ocaml/stdlib__arg.p.cmt +lib/ocaml/stdlib__arg.p.cmx +lib/ocaml/stdlib__array.cmi +lib/ocaml/stdlib__array.cmt +lib/ocaml/stdlib__array.cmti +lib/ocaml/stdlib__array.cmx +lib/ocaml/stdlib__array.p.cmt +lib/ocaml/stdlib__array.p.cmx +lib/ocaml/stdlib__arrayLabels.cmi +lib/ocaml/stdlib__arrayLabels.cmt +lib/ocaml/stdlib__arrayLabels.cmti +lib/ocaml/stdlib__arrayLabels.cmx +lib/ocaml/stdlib__arrayLabels.p.cmt +lib/ocaml/stdlib__arrayLabels.p.cmx +lib/ocaml/stdlib__bigarray.cmi +lib/ocaml/stdlib__bigarray.cmt +lib/ocaml/stdlib__bigarray.cmti +lib/ocaml/stdlib__bigarray.cmx +lib/ocaml/stdlib__bigarray.p.cmt +lib/ocaml/stdlib__bigarray.p.cmx +lib/ocaml/stdlib__buffer.cmi +lib/ocaml/stdlib__buffer.cmt +lib/ocaml/stdlib__buffer.cmti +lib/ocaml/stdlib__buffer.cmx +lib/ocaml/stdlib__buffer.p.cmt +lib/ocaml/stdlib__buffer.p.cmx +lib/ocaml/stdlib__bytes.cmi +lib/ocaml/stdlib__bytes.cmt +lib/ocaml/stdlib__bytes.cmti +lib/ocaml/stdlib__bytes.cmx +lib/ocaml/stdlib__bytes.p.cmt +lib/ocaml/stdlib__bytes.p.cmx +lib/ocaml/stdlib__bytesLabels.cmi +lib/ocaml/stdlib__bytesLabels.cmt +lib/ocaml/stdlib__bytesLabels.cmti +lib/ocaml/stdlib__bytesLabels.cmx +lib/ocaml/stdlib__bytesLabels.p.cmt +lib/ocaml/stdlib__bytesLabels.p.cmx +lib/ocaml/stdlib__callback.cmi +lib/ocaml/stdlib__callback.cmt +lib/ocaml/stdlib__callback.cmti +lib/ocaml/stdlib__callback.cmx +lib/ocaml/stdlib__callback.p.cmt +lib/ocaml/stdlib__callback.p.cmx +lib/ocaml/stdlib__char.cmi +lib/ocaml/stdlib__char.cmt +lib/ocaml/stdlib__char.cmti +lib/ocaml/stdlib__char.cmx +lib/ocaml/stdlib__char.p.cmt +lib/ocaml/stdlib__char.p.cmx +lib/ocaml/stdlib__complex.cmi +lib/ocaml/stdlib__complex.cmt +lib/ocaml/stdlib__complex.cmti +lib/ocaml/stdlib__complex.cmx +lib/ocaml/stdlib__complex.p.cmt +lib/ocaml/stdlib__complex.p.cmx +lib/ocaml/stdlib__digest.cmi +lib/ocaml/stdlib__digest.cmt +lib/ocaml/stdlib__digest.cmti +lib/ocaml/stdlib__digest.cmx +lib/ocaml/stdlib__digest.p.cmt +lib/ocaml/stdlib__digest.p.cmx +lib/ocaml/stdlib__ephemeron.cmi +lib/ocaml/stdlib__ephemeron.cmt +lib/ocaml/stdlib__ephemeron.cmti +lib/ocaml/stdlib__ephemeron.cmx +lib/ocaml/stdlib__ephemeron.p.cmt +lib/ocaml/stdlib__ephemeron.p.cmx +lib/ocaml/stdlib__filename.cmi +lib/ocaml/stdlib__filename.cmt +lib/ocaml/stdlib__filename.cmti +lib/ocaml/stdlib__filename.cmx +lib/ocaml/stdlib__filename.p.cmt +lib/ocaml/stdlib__filename.p.cmx +lib/ocaml/stdlib__float.cmi +lib/ocaml/stdlib__float.cmt +lib/ocaml/stdlib__float.cmti +lib/ocaml/stdlib__float.cmx +lib/ocaml/stdlib__float.p.cmt +lib/ocaml/stdlib__float.p.cmx +lib/ocaml/stdlib__format.cmi +lib/ocaml/stdlib__format.cmt +lib/ocaml/stdlib__format.cmti +lib/ocaml/stdlib__format.cmx +lib/ocaml/stdlib__format.p.cmt +lib/ocaml/stdlib__format.p.cmx +lib/ocaml/stdlib__gc.cmi +lib/ocaml/stdlib__gc.cmt +lib/ocaml/stdlib__gc.cmti +lib/ocaml/stdlib__gc.cmx +lib/ocaml/stdlib__gc.p.cmt +lib/ocaml/stdlib__gc.p.cmx +lib/ocaml/stdlib__genlex.cmi +lib/ocaml/stdlib__genlex.cmt +lib/ocaml/stdlib__genlex.cmti +lib/ocaml/stdlib__genlex.cmx +lib/ocaml/stdlib__genlex.p.cmt +lib/ocaml/stdlib__genlex.p.cmx +lib/ocaml/stdlib__hashtbl.cmi +lib/ocaml/stdlib__hashtbl.cmt +lib/ocaml/stdlib__hashtbl.cmti +lib/ocaml/stdlib__hashtbl.cmx +lib/ocaml/stdlib__hashtbl.p.cmt +lib/ocaml/stdlib__hashtbl.p.cmx +lib/ocaml/stdlib__int32.cmi +lib/ocaml/stdlib__int32.cmt +lib/ocaml/stdlib__int32.cmti +lib/ocaml/stdlib__int32.cmx +lib/ocaml/stdlib__int32.p.cmt +lib/ocaml/stdlib__int32.p.cmx +lib/ocaml/stdlib__int64.cmi +lib/ocaml/stdlib__int64.cmt +lib/ocaml/stdlib__int64.cmti +lib/ocaml/stdlib__int64.cmx +lib/ocaml/stdlib__int64.p.cmt +lib/ocaml/stdlib__int64.p.cmx +lib/ocaml/stdlib__lazy.cmi +lib/ocaml/stdlib__lazy.cmt +lib/ocaml/stdlib__lazy.cmti +lib/ocaml/stdlib__lazy.cmx +lib/ocaml/stdlib__lazy.p.cmt +lib/ocaml/stdlib__lazy.p.cmx +lib/ocaml/stdlib__lexing.cmi +lib/ocaml/stdlib__lexing.cmt +lib/ocaml/stdlib__lexing.cmti +lib/ocaml/stdlib__lexing.cmx +lib/ocaml/stdlib__lexing.p.cmt +lib/ocaml/stdlib__lexing.p.cmx +lib/ocaml/stdlib__list.cmi +lib/ocaml/stdlib__list.cmt +lib/ocaml/stdlib__list.cmti +lib/ocaml/stdlib__list.cmx +lib/ocaml/stdlib__list.p.cmt +lib/ocaml/stdlib__list.p.cmx +lib/ocaml/stdlib__listLabels.cmi +lib/ocaml/stdlib__listLabels.cmt +lib/ocaml/stdlib__listLabels.cmti +lib/ocaml/stdlib__listLabels.cmx +lib/ocaml/stdlib__listLabels.p.cmt +lib/ocaml/stdlib__listLabels.p.cmx +lib/ocaml/stdlib__map.cmi +lib/ocaml/stdlib__map.cmt +lib/ocaml/stdlib__map.cmti +lib/ocaml/stdlib__map.cmx +lib/ocaml/stdlib__map.p.cmt +lib/ocaml/stdlib__map.p.cmx +lib/ocaml/stdlib__marshal.cmi +lib/ocaml/stdlib__marshal.cmt +lib/ocaml/stdlib__marshal.cmti +lib/ocaml/stdlib__marshal.cmx +lib/ocaml/stdlib__marshal.p.cmt +lib/ocaml/stdlib__marshal.p.cmx +lib/ocaml/stdlib__moreLabels.cmi +lib/ocaml/stdlib__moreLabels.cmt +lib/ocaml/stdlib__moreLabels.cmti +lib/ocaml/stdlib__moreLabels.cmx +lib/ocaml/stdlib__moreLabels.p.cmt +lib/ocaml/stdlib__moreLabels.p.cmx +lib/ocaml/stdlib__nativeint.cmi +lib/ocaml/stdlib__nativeint.cmt +lib/ocaml/stdlib__nativeint.cmti +lib/ocaml/stdlib__nativeint.cmx +lib/ocaml/stdlib__nativeint.p.cmt +lib/ocaml/stdlib__nativeint.p.cmx +lib/ocaml/stdlib__obj.cmi +lib/ocaml/stdlib__obj.cmt +lib/ocaml/stdlib__obj.cmti +lib/ocaml/stdlib__obj.cmx +lib/ocaml/stdlib__obj.p.cmt +lib/ocaml/stdlib__obj.p.cmx +lib/ocaml/stdlib__oo.cmi +lib/ocaml/stdlib__oo.cmt +lib/ocaml/stdlib__oo.cmti +lib/ocaml/stdlib__oo.cmx +lib/ocaml/stdlib__oo.p.cmt +lib/ocaml/stdlib__oo.p.cmx +lib/ocaml/stdlib__parsing.cmi +lib/ocaml/stdlib__parsing.cmt +lib/ocaml/stdlib__parsing.cmti +lib/ocaml/stdlib__parsing.cmx +lib/ocaml/stdlib__parsing.p.cmt +lib/ocaml/stdlib__parsing.p.cmx +lib/ocaml/stdlib__printexc.cmi +lib/ocaml/stdlib__printexc.cmt +lib/ocaml/stdlib__printexc.cmti +lib/ocaml/stdlib__printexc.cmx +lib/ocaml/stdlib__printexc.p.cmt +lib/ocaml/stdlib__printexc.p.cmx +lib/ocaml/stdlib__printf.cmi +lib/ocaml/stdlib__printf.cmt +lib/ocaml/stdlib__printf.cmti +lib/ocaml/stdlib__printf.cmx +lib/ocaml/stdlib__printf.p.cmt +lib/ocaml/stdlib__printf.p.cmx +lib/ocaml/stdlib__queue.cmi +lib/ocaml/stdlib__queue.cmt +lib/ocaml/stdlib__queue.cmti +lib/ocaml/stdlib__queue.cmx +lib/ocaml/stdlib__queue.p.cmt +lib/ocaml/stdlib__queue.p.cmx +lib/ocaml/stdlib__random.cmi +lib/ocaml/stdlib__random.cmt +lib/ocaml/stdlib__random.cmti +lib/ocaml/stdlib__random.cmx +lib/ocaml/stdlib__random.p.cmt +lib/ocaml/stdlib__random.p.cmx +lib/ocaml/stdlib__scanf.cmi +lib/ocaml/stdlib__scanf.cmt +lib/ocaml/stdlib__scanf.cmti +lib/ocaml/stdlib__scanf.cmx +lib/ocaml/stdlib__scanf.p.cmt +lib/ocaml/stdlib__scanf.p.cmx +lib/ocaml/stdlib__seq.cmi +lib/ocaml/stdlib__seq.cmt +lib/ocaml/stdlib__seq.cmti +lib/ocaml/stdlib__seq.cmx +lib/ocaml/stdlib__seq.p.cmt +lib/ocaml/stdlib__seq.p.cmx +lib/ocaml/stdlib__set.cmi +lib/ocaml/stdlib__set.cmt +lib/ocaml/stdlib__set.cmti +lib/ocaml/stdlib__set.cmx +lib/ocaml/stdlib__set.p.cmt +lib/ocaml/stdlib__set.p.cmx +lib/ocaml/stdlib__sort.cmi +lib/ocaml/stdlib__sort.cmt +lib/ocaml/stdlib__sort.cmti +lib/ocaml/stdlib__sort.cmx +lib/ocaml/stdlib__sort.p.cmt +lib/ocaml/stdlib__sort.p.cmx +lib/ocaml/stdlib__spacetime.cmi +lib/ocaml/stdlib__spacetime.cmt +lib/ocaml/stdlib__spacetime.cmti +lib/ocaml/stdlib__spacetime.cmx +lib/ocaml/stdlib__spacetime.p.cmt +lib/ocaml/stdlib__spacetime.p.cmx +lib/ocaml/stdlib__stack.cmi +lib/ocaml/stdlib__stack.cmt +lib/ocaml/stdlib__stack.cmti +lib/ocaml/stdlib__stack.cmx +lib/ocaml/stdlib__stack.p.cmt +lib/ocaml/stdlib__stack.p.cmx +lib/ocaml/stdlib__stdLabels.cmi +lib/ocaml/stdlib__stdLabels.cmt +lib/ocaml/stdlib__stdLabels.cmti +lib/ocaml/stdlib__stdLabels.cmx +lib/ocaml/stdlib__stdLabels.p.cmt +lib/ocaml/stdlib__stdLabels.p.cmx +lib/ocaml/stdlib__stream.cmi +lib/ocaml/stdlib__stream.cmt +lib/ocaml/stdlib__stream.cmti +lib/ocaml/stdlib__stream.cmx +lib/ocaml/stdlib__stream.p.cmt +lib/ocaml/stdlib__stream.p.cmx +lib/ocaml/stdlib__string.cmi +lib/ocaml/stdlib__string.cmt +lib/ocaml/stdlib__string.cmti +lib/ocaml/stdlib__string.cmx +lib/ocaml/stdlib__string.p.cmt +lib/ocaml/stdlib__string.p.cmx +lib/ocaml/stdlib__stringLabels.cmi +lib/ocaml/stdlib__stringLabels.cmt +lib/ocaml/stdlib__stringLabels.cmti +lib/ocaml/stdlib__stringLabels.cmx +lib/ocaml/stdlib__stringLabels.p.cmt +lib/ocaml/stdlib__stringLabels.p.cmx +lib/ocaml/stdlib__sys.cmi +lib/ocaml/stdlib__sys.cmt +lib/ocaml/stdlib__sys.cmti +lib/ocaml/stdlib__sys.cmx +lib/ocaml/stdlib__sys.p.cmt +lib/ocaml/stdlib__sys.p.cmx +lib/ocaml/stdlib__uchar.cmi +lib/ocaml/stdlib__uchar.cmt +lib/ocaml/stdlib__uchar.cmti +lib/ocaml/stdlib__uchar.cmx +lib/ocaml/stdlib__uchar.p.cmt +lib/ocaml/stdlib__uchar.p.cmx +lib/ocaml/stdlib__weak.cmi +lib/ocaml/stdlib__weak.cmt +lib/ocaml/stdlib__weak.cmti +lib/ocaml/stdlib__weak.cmx +lib/ocaml/stdlib__weak.p.cmt +lib/ocaml/stdlib__weak.p.cmx lib/ocaml/str.a lib/ocaml/str.cma lib/ocaml/str.cmi @@ -1706,45 +1799,23 @@ lib/ocaml/str.cmx lib/ocaml/str.cmxa lib/ocaml/str.cmxs lib/ocaml/str.mli -lib/ocaml/stream.cmi -lib/ocaml/stream.cmt -lib/ocaml/stream.cmti -lib/ocaml/stream.cmx lib/ocaml/stream.ml lib/ocaml/stream.mli -lib/ocaml/stream.p.cmt -%%PROF%%lib/ocaml/stream.p.cmx -lib/ocaml/string.cmi -lib/ocaml/string.cmt -lib/ocaml/string.cmti -lib/ocaml/string.cmx lib/ocaml/string.ml lib/ocaml/string.mli -lib/ocaml/string.p.cmt -%%PROF%%lib/ocaml/string.p.cmx -lib/ocaml/stringLabels.cmi -lib/ocaml/stringLabels.cmt -lib/ocaml/stringLabels.cmti -lib/ocaml/stringLabels.cmx lib/ocaml/stringLabels.ml lib/ocaml/stringLabels.mli -lib/ocaml/stringLabels.p.cmt -%%PROF%%lib/ocaml/stringLabels.p.cmx lib/ocaml/stublibs/dllbigarray.so lib/ocaml/stublibs/dllcamlstr.so %%X11%%lib/ocaml/stublibs/dllgraphics.so -lib/ocaml/stublibs/dllnums.so +lib/ocaml/stublibs/dllraw_spacetime_lib.so %%THREADS%%lib/ocaml/stublibs/dllthreads.so lib/ocaml/stublibs/dllunix.so lib/ocaml/stublibs/dllvmthreads.so -lib/ocaml/sys.cmi -lib/ocaml/sys.cmt -lib/ocaml/sys.cmti -lib/ocaml/sys.cmx lib/ocaml/sys.ml lib/ocaml/sys.mli -lib/ocaml/sys.p.cmt -%%PROF%%lib/ocaml/sys.p.cmx +lib/ocaml/target_camlheaderd +lib/ocaml/target_camlheaderi %%THREADS%%lib/ocaml/thread.mli %%THREADS%%lib/ocaml/threadUnix.mli %%THREADS%%lib/ocaml/threads/condition.cmi @@ -1769,14 +1840,8 @@ lib/ocaml/topdirs.cmi lib/ocaml/topdirs.cmt lib/ocaml/topdirs.cmti lib/ocaml/topdirs.mli -lib/ocaml/uchar.cmi -lib/ocaml/uchar.cmt -lib/ocaml/uchar.cmti -lib/ocaml/uchar.cmx lib/ocaml/uchar.ml lib/ocaml/uchar.mli -lib/ocaml/uchar.p.cmt -%%PROF%%lib/ocaml/uchar.p.cmx lib/ocaml/unix.a lib/ocaml/unix.cma lib/ocaml/unix.cmi @@ -1808,14 +1873,8 @@ lib/ocaml/vmthreads/threadUnix.cmti lib/ocaml/vmthreads/threadUnix.mli lib/ocaml/vmthreads/threads.cma lib/ocaml/vmthreads/unix.cma -lib/ocaml/weak.cmi -lib/ocaml/weak.cmt -lib/ocaml/weak.cmti -lib/ocaml/weak.cmx lib/ocaml/weak.ml lib/ocaml/weak.mli -lib/ocaml/weak.p.cmt -%%PROF%%lib/ocaml/weak.p.cmx @(,,0555) lib/ocaml/expunge @(,,0555) lib/ocaml/extract_crc man/man1/ocaml.1.gz @@ -1834,6 +1893,8 @@ man/man1/ocamlprof.1.gz man/man1/ocamlrun.1.gz man/man1/ocamlyacc.1.gz man/man3/Arg.3o.gz +man/man3/Arg_helper.3o.gz +man/man3/Arg_helper.Make.3o.gz man/man3/Array.3o.gz man/man3/ArrayLabels.3o.gz man/man3/Ast_helper.3o.gz @@ -1873,6 +1934,7 @@ man/man3/Bigarray.Array2.3o.gz man/man3/Bigarray.Array3.3o.gz man/man3/Bigarray.Genarray.3o.gz man/man3/Buffer.3o.gz +man/man3/Build_path_prefix_map.3o.gz man/man3/Builtin_attributes.3o.gz man/man3/Bytes.3o.gz man/man3/BytesLabels.3o.gz @@ -1882,13 +1944,21 @@ man/man3/CamlinternalFormatBasics.3o.gz man/man3/CamlinternalLazy.3o.gz man/man3/CamlinternalMod.3o.gz man/man3/CamlinternalOO.3o.gz +man/man3/Ccomp.3o.gz man/man3/Char.3o.gz +man/man3/Clflags.3o.gz +man/man3/Clflags.Float_arg_helper.3o.gz +man/man3/Clflags.Int_arg_helper.3o.gz man/man3/Complex.3o.gz +man/man3/Condition.3o.gz +man/man3/Config.3o.gz +man/man3/Consistbl.3o.gz man/man3/Depend.3o.gz man/man3/Depend.StringMap.3o.gz man/man3/Depend.StringSet.3o.gz man/man3/Digest.3o.gz man/man3/Docstrings.3o.gz +man/man3/Dynlink.3o.gz man/man3/Ephemeron.3o.gz man/man3/Ephemeron.GenHashTable.3o.gz man/man3/Ephemeron.GenHashTable.MakeSeeded.3o.gz @@ -1903,10 +1973,15 @@ man/man3/Ephemeron.Kn.Make.3o.gz man/man3/Ephemeron.Kn.MakeSeeded.3o.gz man/man3/Ephemeron.S.3o.gz man/man3/Ephemeron.SeededS.3o.gz +man/man3/Event.3o.gz man/man3/Filename.3o.gz +man/man3/Float.3o.gz +man/man3/Float.Array.3o.gz man/man3/Format.3o.gz man/man3/Gc.3o.gz man/man3/Genlex.3o.gz +man/man3/Graphics.3o.gz +man/man3/GraphicsX11.3o.gz man/man3/Hashtbl.3o.gz man/man3/Hashtbl.HashedType.3o.gz man/man3/Hashtbl.Make.3o.gz @@ -1914,6 +1989,21 @@ man/man3/Hashtbl.MakeSeeded.3o.gz man/man3/Hashtbl.S.3o.gz man/man3/Hashtbl.SeededHashedType.3o.gz man/man3/Hashtbl.SeededS.3o.gz +man/man3/Identifiable.3o.gz +man/man3/Identifiable.Make.3o.gz +man/man3/Identifiable.Map.3o.gz +man/man3/Identifiable.Map.T.3o.gz +man/man3/Identifiable.Pair.3o.gz +man/man3/Identifiable.S.3o.gz +man/man3/Identifiable.S.Map.3o.gz +man/man3/Identifiable.S.Set.3o.gz +man/man3/Identifiable.S.T.3o.gz +man/man3/Identifiable.S.Tbl.3o.gz +man/man3/Identifiable.Set.3o.gz +man/man3/Identifiable.Set.T.3o.gz +man/man3/Identifiable.Tbl.3o.gz +man/man3/Identifiable.Tbl.T.3o.gz +man/man3/Identifiable.Thing.3o.gz man/man3/Int32.3o.gz man/man3/Int64.3o.gz man/man3/Lazy.3o.gz @@ -1928,6 +2018,18 @@ man/man3/Map.Make.3o.gz man/man3/Map.OrderedType.3o.gz man/man3/Map.S.3o.gz man/man3/Marshal.3o.gz +man/man3/Misc.3o.gz +man/man3/Misc.Color.3o.gz +man/man3/Misc.HookSig.3o.gz +man/man3/Misc.Int_literal_converter.3o.gz +man/man3/Misc.LongString.3o.gz +man/man3/Misc.MakeHooks.3o.gz +man/man3/Misc.Stdlib.3o.gz +man/man3/Misc.Stdlib.Array.3o.gz +man/man3/Misc.Stdlib.List.3o.gz +man/man3/Misc.Stdlib.Option.3o.gz +man/man3/Misc.StringMap.3o.gz +man/man3/Misc.StringSet.3o.gz man/man3/MoreLabels.3o.gz man/man3/MoreLabels.Hashtbl.3o.gz man/man3/MoreLabels.Hashtbl.HashedType.3o.gz @@ -1944,8 +2046,13 @@ man/man3/MoreLabels.Set.3o.gz man/man3/MoreLabels.Set.Make.3o.gz man/man3/MoreLabels.Set.OrderedType.3o.gz man/man3/MoreLabels.Set.S.3o.gz +man/man3/Mutex.3o.gz man/man3/Nativeint.3o.gz -man/man3/Num.3o.gz +man/man3/Numbers.3o.gz +man/man3/Numbers.Float.3o.gz +man/man3/Numbers.Int.3o.gz +man/man3/Numbers.Int16.3o.gz +man/man3/Numbers.Int8.3o.gz man/man3/Obj.3o.gz man/man3/Obj.Ephemeron.3o.gz man/man3/Oo.3o.gz @@ -1955,20 +2062,27 @@ man/man3/Parsetree.3o.gz man/man3/Parsing.3o.gz man/man3/Pervasives.3o.gz man/man3/Pervasives.LargeFile.3o.gz +man/man3/Pparse.3o.gz +man/man3/Pparse.ImplementationHooks.3o.gz +man/man3/Pparse.InterfaceHooks.3o.gz man/man3/Pprintast.3o.gz man/man3/Printast.3o.gz man/man3/Printexc.3o.gz man/man3/Printexc.Slot.3o.gz man/man3/Printf.3o.gz +man/man3/Profile.3o.gz man/man3/Queue.3o.gz man/man3/Random.3o.gz man/man3/Random.State.3o.gz man/man3/Scanf.3o.gz man/man3/Scanf.Scanning.3o.gz +man/man3/Seq.3o.gz man/man3/Set.3o.gz man/man3/Set.Make.3o.gz man/man3/Set.OrderedType.3o.gz man/man3/Set.S.3o.gz +man/man3/Simplif.3o.gz +man/man3/Simplif.Hooks.3o.gz man/man3/Sort.3o.gz man/man3/Spacetime.3o.gz man/man3/Spacetime.Series.3o.gz @@ -1983,11 +2097,26 @@ man/man3/Str.3o.gz man/man3/Stream.3o.gz man/man3/String.3o.gz man/man3/StringLabels.3o.gz +man/man3/Strongly_connected_components.3o.gz +man/man3/Strongly_connected_components.Make.3o.gz +man/man3/Strongly_connected_components.S.3o.gz +man/man3/Strongly_connected_components.S.Id.3o.gz man/man3/Syntaxerr.3o.gz man/man3/Sys.3o.gz +man/man3/Targetint.3o.gz +man/man3/Tbl.3o.gz +man/man3/Terminfo.3o.gz +man/man3/Thread.3o.gz +man/man3/ThreadUnix.3o.gz +man/man3/Typemod.3o.gz +man/man3/Typemod.ImplementationHooks.3o.gz +man/man3/Typemod.InterfaceHooks.3o.gz man/man3/Uchar.3o.gz man/man3/Unix.3o.gz man/man3/Unix.LargeFile.3o.gz +man/man3/UnixLabels.3o.gz +man/man3/UnixLabels.LargeFile.3o.gz +man/man3/Warnings.3o.gz man/man3/Weak.3o.gz man/man3/Weak.Make.3o.gz man/man3/Weak.S.3o.gz diff --git a/math/Makefile b/math/Makefile index 5949daba7d31..9054eb41f4af 100644 --- a/math/Makefile +++ b/math/Makefile @@ -486,6 +486,7 @@ SUBDIR += ntl SUBDIR += numdiff SUBDIR += obake + SUBDIR += ocaml-num SUBDIR += ocaml-ocamlgraph SUBDIR += ocaml-zarith SUBDIR += ocamlgsl diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile index 96c5c477b7e5..dfab1b8823a0 100644 --- a/math/alt-ergo/Makefile +++ b/math/alt-ergo/Makefile @@ -17,6 +17,7 @@ LICENSE_PERMS= dist-mirror dist-sell pkg-mirror pkg-sell auto-accept BROKEN_powerpc64= fails to compile: Assembler messages: /tmp/camlasm2822e8.s:10348: Error: operand out of range BUILD_DEPENDS= ocaml-zarith>1.2:math/ocaml-zarith \ + ocaml-num>=0:math/ocaml-num \ ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \ ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2 RUN_DEPENDS= ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \ diff --git a/math/coq/Makefile b/math/coq/Makefile index a9a9bcbf87ca..54c4a3fa8bcb 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -18,7 +18,8 @@ BROKEN_armv7= fails to compile: Fatal error: exception Invalid_argument("index o BROKEN_powerpc= fails to link BUILD_DEPENDS= camlp5:devel/ocaml-camlp5 \ - ocamlfind:devel/ocaml-findlib + ocamlfind:devel/ocaml-findlib \ + ${LOCALBASE}/${OCAML_SITELIBDIR}/num/META:math/ocaml-num LIB_DEPENDS= libfontconfig.so:x11-fonts/fontconfig \ libfreetype.so:print/freetype2 diff --git a/math/ocaml-num/Makefile b/math/ocaml-num/Makefile new file mode 100644 index 000000000000..e5e64bf62cc9 --- /dev/null +++ b/math/ocaml-num/Makefile @@ -0,0 +1,24 @@ +# Created by: Alexey Dokuchaev <danfe@FreeBSD.org> + +PORTNAME= num +PORTVERSION= 1.4 +DISTVERSIONPREFIX= v +CATEGORIES= math +PKGNAMEPREFIX= ocaml- + +MAINTAINER= danfe@FreeBSD.org +COMMENT= Legacy library for arbitrary-precision arithmetic + +LICENSE= LGPL21 +LICENSE_FILE= ${WRKSRC}/LICENSE + +USES= gmake +USE_GITHUB= yes +GH_ACCOUNT= ocaml +USE_OCAML= yes + +MAKE_ENV= OCAMLFIND_DESTDIR="${STAGEDIR}${OCAMLFIND_DESTDIR}" +MAKE_JOBS_UNSAFE= yes +TEST_TARGET= test + +.include <bsd.port.mk> diff --git a/math/ocaml-num/distinfo b/math/ocaml-num/distinfo new file mode 100644 index 000000000000..98c8fd34d2cd --- /dev/null +++ b/math/ocaml-num/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1604938929 +SHA256 (ocaml-num-v1.4_GH0.tar.gz) = 015088b68e717b04c07997920e33c53219711dfaf36d1196d02313f48ea00f24 +SIZE (ocaml-num-v1.4_GH0.tar.gz) = 66327 diff --git a/math/ocaml-num/files/patch-src_Makefile b/math/ocaml-num/files/patch-src_Makefile new file mode 100644 index 000000000000..1c755e46fa20 --- /dev/null +++ b/math/ocaml-num/files/patch-src_Makefile @@ -0,0 +1,12 @@ +--- src/Makefile.orig 2020-11-09 16:22:09 UTC ++++ src/Makefile +@@ -88,7 +88,8 @@ VERSION=$(shell sed -ne 's/^ *version *: *"\([^"]*\)". + install: + $(INSTALL_DIR) $(DESTDIR)$(STDLIBDIR) + sed -e 's/%%VERSION%%/$(VERSION)/g' META.in > META +- $(OCAMLFIND) install num META ++ $(INSTALL_DIR) $(OCAMLFIND_DESTDIR)/num ++ $(INSTALL_DATA) META $(OCAMLFIND_DESTDIR)/num + rm -f META + $(INSTALL_DATA) $(TOINSTALL) $(DESTDIR)$(STDLIBDIR) + ifeq "$(SUPPORTS_SHARED_LIBRARIES)" "true" diff --git a/math/ocaml-num/files/patch-toplevel_Makefile b/math/ocaml-num/files/patch-toplevel_Makefile new file mode 100644 index 000000000000..8941ff1666fc --- /dev/null +++ b/math/ocaml-num/files/patch-toplevel_Makefile @@ -0,0 +1,21 @@ +--- toplevel/Makefile.orig 2020-11-09 16:22:09 UTC ++++ toplevel/Makefile +@@ -1,6 +1,8 @@ + OCAMLC=ocamlc + OCAMLDEP=ocamldep + OCAMLFIND=ocamlfind ++INSTALL_DATA=install -m 644 ++INSTALL_DIR=install -d + + CAMLCFLAGS=-I ../src -I +compiler-libs \ + -w +a-4-9-41-42-44-45-48 -warn-error A \ +@@ -25,7 +27,8 @@ VERSION=$(shell sed -ne 's/^ *version *: *"\([^"]*\)". + + install: + sed -e 's/%%VERSION%%/$(VERSION)/g' META.in > META +- $(OCAMLFIND) install num-top META $(TOINSTALL) ++ $(INSTALL_DIR) $(OCAMLFIND_DESTDIR)/num-top ++ $(INSTALL_DATA) META $(TOINSTALL) $(OCAMLFIND_DESTDIR)/num-top + rm -f META + + uninstall: diff --git a/math/ocaml-num/pkg-descr b/math/ocaml-num/pkg-descr new file mode 100644 index 000000000000..3affc0f123a4 --- /dev/null +++ b/math/ocaml-num/pkg-descr @@ -0,0 +1,10 @@ +The Num library implements integer arithmetic and rational arithmetic in +arbitrary precision. It was split off the core OCaml distribution starting +with the 4.06.0 release. + +New applications that need arbitrary-precision arithmetic should use the +Zarith library instead of the Num library, and older applications that +already use Num are encouraged to switch to Zarith. Zarith delivers much +better performance than Num and has a nicer API. + +WWW: https://github.com/ocaml/num diff --git a/math/ocaml-num/pkg-plist b/math/ocaml-num/pkg-plist new file mode 100644 index 000000000000..9a998754a1d8 --- /dev/null +++ b/math/ocaml-num/pkg-plist @@ -0,0 +1,33 @@ +lib/ocaml/arith_flags.cmx +lib/ocaml/arith_status.cmi +lib/ocaml/arith_status.cmti +lib/ocaml/arith_status.cmx +lib/ocaml/arith_status.mli +lib/ocaml/big_int.cmi +lib/ocaml/big_int.cmti +lib/ocaml/big_int.cmx +lib/ocaml/big_int.mli +lib/ocaml/int_misc.cmx +lib/ocaml/libnums.a +lib/ocaml/nat.cmi +lib/ocaml/nat.cmti +lib/ocaml/nat.cmx +lib/ocaml/nat.mli +lib/ocaml/num.cmi +lib/ocaml/num.cmti +lib/ocaml/num.cmx +lib/ocaml/num.mli +lib/ocaml/nums.a +lib/ocaml/nums.cma +lib/ocaml/nums.cmxa +lib/ocaml/nums.cmxs +lib/ocaml/ratio.cmi +lib/ocaml/ratio.cmti +lib/ocaml/ratio.cmx +lib/ocaml/ratio.mli +%%OCAML_SITELIBDIR%%/num-top/META +%%OCAML_SITELIBDIR%%/num-top/num_top.cma +%%OCAML_SITELIBDIR%%/num-top/num_top.cmi +%%OCAML_SITELIBDIR%%/num-top/num_top_printers.cmi +%%OCAML_SITELIBDIR%%/num/META +lib/ocaml/stublibs/dllnums.so diff --git a/math/orpie/Makefile b/math/orpie/Makefile index df96bd504f62..0f72065d084d 100644 --- a/math/orpie/Makefile +++ b/math/orpie/Makefile @@ -11,6 +11,7 @@ COMMENT= Fullscreen RPN calculator for the console LICENSE= GPLv2 +BUILD_DEPENDS= ${LOCALBASE}/${OCAML_SITELIBDIR}/num/META:math/ocaml-num LIB_DEPENDS= libgsl.so:math/gsl USES= gmake ncurses diff --git a/math/scilab/Makefile b/math/scilab/Makefile index 6cf73473fafa..986ee3ddf988 100644 --- a/math/scilab/Makefile +++ b/math/scilab/Makefile @@ -110,7 +110,8 @@ GUI_CONFIGURE_OFF= --without-gui \ OCAML_IMPLIES= GUI OCAML_CONFIGURE_WITH= modelica -OCAML_BUILD_DEPENDS= ocaml:lang/ocaml +OCAML_BUILD_DEPENDS= ocaml:lang/ocaml \ + ${LOCALBASE}/lib/ocaml/site-lib/num/META:math/ocaml-num OCAML_RUN_DEPENDS= ocaml:lang/ocaml TK_CONFIGURE_OFF= --without-tk diff --git a/net-p2p/mldonkey/Makefile b/net-p2p/mldonkey/Makefile index 6f3e08010452..6f97680b870f 100644 --- a/net-p2p/mldonkey/Makefile +++ b/net-p2p/mldonkey/Makefile @@ -16,6 +16,8 @@ LICENSE_FILE= ${WRKSRC}/Copying.txt CONFLICTS= mldonkey{-{core,gui},}-devel +BUILD_DEPENDS= ${LOCALBASE}/lib/ocaml/nums.cma:math/ocaml-num + USES= compiler:c++11-lang cpe gmake iconv pkgconfig tar:bzip2 USE_OCAML= yes USE_OCAML_CAMLP4=yes diff --git a/security/sks/Makefile b/security/sks/Makefile index 823a8822b3e4..3a84425b5745 100644 --- a/security/sks/Makefile +++ b/security/sks/Makefile @@ -10,6 +10,8 @@ COMMENT= Synchronizing Key Server, a fast OpenPGP keyserver LICENSE= GPLv2+ +BUILD_DEPENDS= ${LOCALBASE}/${OCAML_SITELIBDIR}/num/META:math/ocaml-num + USE_OCAML= yes USE_OCAML_CAMLP4=yes USES= bdb:5 perl5 gmake shebangfix tar:tgz diff --git a/x11-toolkits/ocaml-labltk/Makefile b/x11-toolkits/ocaml-labltk/Makefile index 32bb6d4935e2..488b62ca2ef5 100644 --- a/x11-toolkits/ocaml-labltk/Makefile +++ b/x11-toolkits/ocaml-labltk/Makefile @@ -1,12 +1,12 @@ # Created by: Michael Grünewald <michipili@gmail.com> PORTNAME= labltk -PORTVERSION= 8.06.3 +PORTVERSION= 8.06.5 CATEGORIES= x11-toolkits MASTER_SITES= https://download.ocamlcore.org/${PORTNAME}/${PORTNAME}/${PORTVERSION}/ PKGNAMEPREFIX= ocaml- -MAINTAINER= ports@FreeBSD.org +MAINTAINER= danfe@FreeBSD.org COMMENT= Objective Caml interface to Tk LICENSE= LGPL20 diff --git a/x11-toolkits/ocaml-labltk/distinfo b/x11-toolkits/ocaml-labltk/distinfo index 453a615ba5e5..092fdc575b75 100644 --- a/x11-toolkits/ocaml-labltk/distinfo +++ b/x11-toolkits/ocaml-labltk/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1559830627 -SHA256 (labltk-8.06.3.tar.gz) = b6b7076f6a2a7b2f63095013cb4e37a1f2a6eb3d4abb57dbb1b8cff1ae4c6ae6 -SIZE (labltk-8.06.3.tar.gz) = 369924 +TIMESTAMP = 1559830611 +SHA256 (labltk-8.06.5.tar.gz) = 92ff3358cd28d6b0c60d17367a875cd895741dbebae20ba310ee4d1e7c31fd71 +SIZE (labltk-8.06.5.tar.gz) = 370149 |