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 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 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 + +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 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 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