From nobody Sat Apr 16 07:21:43 2022 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id B27667CE60A; Sat, 16 Apr 2022 07:21:43 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4KgPlC2RV3z4qDf; Sat, 16 Apr 2022 07:21:43 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1650093703; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=vPNiTfQF3zNnNSoKzLoWylu9wdc/lkV3Ueuza2Thmys=; b=RiL6Jbc0E3pEVnvExq6Di+pR5Tt0yOZBXzHCMIX5GkVS937LM3RKdW8CmP0v+vDDWl1HNT Q/alBygu8syb+z9liCs6kmos10ZJliJ99BnUq6RdXZ3y3lbGmJF68pYOzcvoxI234OYcTL FaxZGZ7WQafC0p0k2OG/HsemhSTuL21b6PpiOXph7DLTkkH26vVhMI8njf0Zb2qPCMB2YH 5kIUWF+/qYZH0g1VDOaSGq0pIVuOtewOBW4pdwXirqaEmy/ntA9DO8MRNJwE0ko6uT9Urn 1wGqwVRkWKkIOUPdJbnah3ufTaOyQ7bvIZYEVHACCthcQMPOIjshhI6h4YoWvQ== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 2FF51255DD; Sat, 16 Apr 2022 07:21:43 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 23G7Lh7c051242; Sat, 16 Apr 2022 07:21:43 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 23G7Lh14051241; Sat, 16 Apr 2022 07:21:43 GMT (envelope-from git) Date: Sat, 16 Apr 2022 07:21:43 GMT Message-Id: <202204160721.23G7Lh14051241@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Alexey Dokuchaev Subject: git: 317aa0442c99 - main - OCaml: transient update of the stack to version 4.07.1 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: danfe X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 317aa0442c9942009c1f9c558f8fb6e49d4568ab Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1650093703; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=vPNiTfQF3zNnNSoKzLoWylu9wdc/lkV3Ueuza2Thmys=; b=qgP8HBmvI8/eH4C9HmzDTma2ib/WIb6hNloWU0rTYYYXVHhx+h8jsptsLlLtrFPZPsWdfk npsDlPkvyGOH3x5bcEEbOENBaEm7w/3zrgHado2Fl8zwF+TncdUDvnRlr7jky0XEXHvl5f 4HklRWxq6Dcj6jhxGz2UU0bKEKwY0Or8UCO+iXdqkBnmVUjF9KGIaxA8K3O0QXbkmcTaq7 /azbGcblY95vGpQDoYhtNlRLDhtvyLQwkCQLZPfWqsNTSttd5JZ31rA6TojWXNnm6iYzSl lsfSNCGVdZDHoUGbT2poOQsStvvqj7mEaranySF5AdkfWkfXZlog5wLdqN2TpQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1650093703; a=rsa-sha256; cv=none; b=K3kwoZbbIaLDrSlbP+jGpzzmy5eB89sLG4Hdv+OD4yebnjMwsprfPFZBG7MQIgaE0p/6Le V//1/uPvbhh38wr2g0rlrncHrPlvfg5dkGiV3s3VefQDXoD+wh1QAZgkqNV0F9Amb2FxCK kqN2SfUUbzJc7XJAjk5SiBAo75rF9FV1GYtZXLQ1q5zYLZ/CilBp1vh7ZBFTeJ38y9zYj9 cOaaVc0zZpr+mPycRAsF0r9qO2chRAvIjRlnJVGINvGlQJIic/l+DN7plm+LH2SxakvdhX 3BkBiy50Z5kxWjSfa8iTHf70f+PISnG978B3H/qYtBu6ez0pMyaTciCM4RmUiA== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by danfe: URL: https://cgit.FreeBSD.org/ports/commit/?id=317aa0442c9942009c1f9c558f8fb6e49d4568ab commit 317aa0442c9942009c1f9c558f8fb6e49d4568ab Author: Alexey Dokuchaev AuthorDate: 2022-04-16 07:19:46 +0000 Commit: Alexey Dokuchaev CommitDate: 2022-04-16 07:19:46 +0000 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 --- devel/cil/Makefile | 3 +- devel/ocaml-camlp4/Makefile | 2 +- devel/ocaml-camlp4/distinfo | 6 +- devel/ocaml-ppx-tools/Makefile | 5 +- devel/ocaml-ppx-tools/distinfo | 6 +- devel/ocaml-sexplib/Makefile | 1 + lang/ocaml/Makefile | 19 +- lang/ocaml/distinfo | 18 +- lang/ocaml/files/patch-675e98a2.c | 42 +- lang/ocaml/files/patch-configure | 43 +- .../files/patch-testsuite_tests_asmcomp_power.S | 4 +- lang/ocaml/pkg-plist | 761 ++++++++++++--------- math/Makefile | 1 + math/alt-ergo/Makefile | 1 + math/coq/Makefile | 3 +- math/ocaml-num/Makefile | 24 + math/ocaml-num/distinfo | 3 + math/ocaml-num/files/patch-src_Makefile | 12 + math/ocaml-num/files/patch-toplevel_Makefile | 21 + math/ocaml-num/pkg-descr | 10 + math/ocaml-num/pkg-plist | 33 + math/orpie/Makefile | 1 + math/scilab/Makefile | 3 +- net-p2p/mldonkey/Makefile | 2 + security/sks/Makefile | 2 + x11-toolkits/ocaml-labltk/Makefile | 4 +- x11-toolkits/ocaml-labltk/distinfo | 6 +- 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 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 *** 804 LINES SKIPPED ***