summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2014-10-14 12:21:24 +0000
committerDamien Doligez <damien.doligez-inria.fr>2014-10-14 12:21:24 +0000
commitfa7961d5fada53056f38a9ae36615df26352028a (patch)
treea182cd7c1ff48cef7f4150a0cd5d971614a4ca39
parentd0f949370ae2abb2d1b9a1c958361e80dad509d2 (diff)
downloadocaml-4.02.1.tar.gz
tagging release 4.02.14.02.1
git-svn-id: http://caml.inria.fr/svn/ocaml/release/4.02.1@15541 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--.depend40
-rw-r--r--VERSION2
-rwxr-xr-xboot/ocamlcbin1709104 -> 1715876 bytes
-rwxr-xr-xboot/ocamldepbin526896 -> 532314 bytes
-rwxr-xr-xboot/ocamllexbin252396 -> 254314 bytes
-rw-r--r--ocamldoc/.depend18
-rw-r--r--tools/.depend12
7 files changed, 40 insertions, 32 deletions
diff --git a/.depend b/.depend
index 9b6b9ffb68..5d95a9bb65 100644
--- a/.depend
+++ b/.depend
@@ -538,20 +538,20 @@ bytecomp/translclass.cmx : typing/types.cmx bytecomp/typeopt.cmx \
typing/path.cmx bytecomp/matching.cmx parsing/location.cmx \
bytecomp/lambda.cmx typing/ident.cmx typing/env.cmx utils/clflags.cmx \
typing/btype.cmx parsing/asttypes.cmi bytecomp/translclass.cmi
-bytecomp/translcore.cmo : utils/warnings.cmi typing/types.cmi \
- bytecomp/typeopt.cmi typing/typedtree.cmi bytecomp/translobj.cmi \
- typing/primitive.cmi typing/predef.cmi typing/path.cmi \
- typing/parmatch.cmi utils/misc.cmi bytecomp/matching.cmi \
- parsing/longident.cmi parsing/location.cmi bytecomp/lambda.cmi \
- typing/ident.cmi typing/env.cmi utils/config.cmi utils/clflags.cmi \
- typing/btype.cmi parsing/asttypes.cmi bytecomp/translcore.cmi
-bytecomp/translcore.cmx : utils/warnings.cmx typing/types.cmx \
- bytecomp/typeopt.cmx typing/typedtree.cmx bytecomp/translobj.cmx \
- typing/primitive.cmx typing/predef.cmx typing/path.cmx \
- typing/parmatch.cmx utils/misc.cmx bytecomp/matching.cmx \
- parsing/longident.cmx parsing/location.cmx bytecomp/lambda.cmx \
- typing/ident.cmx typing/env.cmx utils/config.cmx utils/clflags.cmx \
- typing/btype.cmx parsing/asttypes.cmi bytecomp/translcore.cmi
+bytecomp/translcore.cmo : typing/types.cmi bytecomp/typeopt.cmi \
+ typing/typedtree.cmi bytecomp/translobj.cmi typing/primitive.cmi \
+ typing/predef.cmi typing/path.cmi typing/parmatch.cmi utils/misc.cmi \
+ bytecomp/matching.cmi parsing/longident.cmi parsing/location.cmi \
+ bytecomp/lambda.cmi typing/ident.cmi typing/env.cmi utils/config.cmi \
+ utils/clflags.cmi typing/btype.cmi parsing/asttypes.cmi \
+ bytecomp/translcore.cmi
+bytecomp/translcore.cmx : typing/types.cmx bytecomp/typeopt.cmx \
+ typing/typedtree.cmx bytecomp/translobj.cmx typing/primitive.cmx \
+ typing/predef.cmx typing/path.cmx typing/parmatch.cmx utils/misc.cmx \
+ bytecomp/matching.cmx parsing/longident.cmx parsing/location.cmx \
+ bytecomp/lambda.cmx typing/ident.cmx typing/env.cmx utils/config.cmx \
+ utils/clflags.cmx typing/btype.cmx parsing/asttypes.cmi \
+ bytecomp/translcore.cmi
bytecomp/translmod.cmo : typing/types.cmi typing/typedtree.cmi \
bytecomp/translobj.cmi bytecomp/translcore.cmi bytecomp/translclass.cmi \
typing/printtyp.cmi typing/primitive.cmi typing/predef.cmi \
@@ -927,12 +927,12 @@ driver/optmain.cmx : utils/warnings.cmx asmcomp/printmach.cmx \
driver/compenv.cmx utils/clflags.cmx asmcomp/asmpackager.cmx \
asmcomp/asmlink.cmx asmcomp/asmlibrarian.cmx asmcomp/arch.cmx \
driver/optmain.cmi
-driver/pparse.cmo : parsing/parsetree.cmi parsing/parse.cmi utils/misc.cmi \
- parsing/location.cmi utils/config.cmi utils/clflags.cmi utils/ccomp.cmi \
- parsing/ast_mapper.cmi parsing/ast_helper.cmi driver/pparse.cmi
-driver/pparse.cmx : parsing/parsetree.cmi parsing/parse.cmx utils/misc.cmx \
- parsing/location.cmx utils/config.cmx utils/clflags.cmx utils/ccomp.cmx \
- parsing/ast_mapper.cmx parsing/ast_helper.cmx driver/pparse.cmi
+driver/pparse.cmo : parsing/parse.cmi utils/misc.cmi parsing/location.cmi \
+ utils/config.cmi utils/clflags.cmi utils/ccomp.cmi parsing/ast_mapper.cmi \
+ driver/pparse.cmi
+driver/pparse.cmx : parsing/parse.cmx utils/misc.cmx parsing/location.cmx \
+ utils/config.cmx utils/clflags.cmx utils/ccomp.cmx parsing/ast_mapper.cmx \
+ driver/pparse.cmi
toplevel/genprintval.cmi : typing/types.cmi typing/path.cmi \
typing/outcometree.cmi typing/env.cmi
toplevel/opttopdirs.cmi : parsing/longident.cmi
diff --git a/VERSION b/VERSION
index ebc080e4b9..9023b27cc5 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.02.1+dev1-2014-09-26
+4.02.1
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli
diff --git a/boot/ocamlc b/boot/ocamlc
index 3d985633ec..a1aec5dbc3 100755
--- a/boot/ocamlc
+++ b/boot/ocamlc
Binary files differ
diff --git a/boot/ocamldep b/boot/ocamldep
index 3aa4641b70..2760d2f95e 100755
--- a/boot/ocamldep
+++ b/boot/ocamldep
Binary files differ
diff --git a/boot/ocamllex b/boot/ocamllex
index 818180d0b3..80acc9ea3a 100755
--- a/boot/ocamllex
+++ b/boot/ocamllex
Binary files differ
diff --git a/ocamldoc/.depend b/ocamldoc/.depend
index 0f692a22c6..b98bb57fe7 100644
--- a/ocamldoc/.depend
+++ b/ocamldoc/.depend
@@ -22,12 +22,18 @@ odoc_analyse.cmx : ../utils/warnings.cmx ../typing/types.cmx \
odoc_comments.cmx odoc_class.cmx odoc_ast.cmx ../utils/misc.cmx \
../parsing/location.cmx ../typing/env.cmx ../utils/config.cmx \
../utils/clflags.cmx odoc_analyse.cmi
-odoc_args.cmo : odoc_types.cmi odoc_texi.cmo odoc_messages.cmo odoc_man.cmo \
- odoc_latex.cmo odoc_html.cmo odoc_global.cmi odoc_gen.cmi odoc_dot.cmo \
- odoc_config.cmi ../utils/misc.cmi ../utils/config.cmi odoc_args.cmi
-odoc_args.cmx : odoc_types.cmx odoc_texi.cmx odoc_messages.cmx odoc_man.cmx \
- odoc_latex.cmx odoc_html.cmx odoc_global.cmx odoc_gen.cmx odoc_dot.cmx \
- odoc_config.cmx ../utils/misc.cmx ../utils/config.cmx odoc_args.cmi
+odoc_args.cmo : ../utils/warnings.cmi odoc_types.cmi odoc_texi.cmo \
+ odoc_messages.cmo odoc_man.cmo odoc_latex.cmo odoc_html.cmo \
+ odoc_global.cmi odoc_gen.cmi odoc_dot.cmo odoc_config.cmi \
+ ../utils/misc.cmi ../driver/main_args.cmi ../parsing/location.cmi \
+ ../utils/config.cmi ../driver/compenv.cmi ../utils/clflags.cmi \
+ odoc_args.cmi
+odoc_args.cmx : ../utils/warnings.cmx odoc_types.cmx odoc_texi.cmx \
+ odoc_messages.cmx odoc_man.cmx odoc_latex.cmx odoc_html.cmx \
+ odoc_global.cmx odoc_gen.cmx odoc_dot.cmx odoc_config.cmx \
+ ../utils/misc.cmx ../driver/main_args.cmx ../parsing/location.cmx \
+ ../utils/config.cmx ../driver/compenv.cmx ../utils/clflags.cmx \
+ odoc_args.cmi
odoc_ast.cmo : ../typing/types.cmi ../typing/typedtree.cmi \
../typing/predef.cmi ../typing/path.cmi ../parsing/parsetree.cmi \
odoc_value.cmo odoc_types.cmi odoc_type.cmo odoc_sig.cmi \
diff --git a/tools/.depend b/tools/.depend
index b0407009d2..c33f5c6f22 100644
--- a/tools/.depend
+++ b/tools/.depend
@@ -1,4 +1,4 @@
-depend.cmi : ../parsing/parsetree.cmi
+depend.cmi : ../parsing/parsetree.cmi ../parsing/longident.cmi
profiling.cmi :
tast_iter.cmi : ../typing/typedtree.cmi ../parsing/asttypes.cmi
untypeast.cmi : ../typing/typedtree.cmi ../typing/path.cmi \
@@ -52,11 +52,13 @@ ocaml299to3.cmx :
ocamlcp.cmo : ../driver/main_args.cmi
ocamlcp.cmx : ../driver/main_args.cmx
ocamldep.cmo : ../driver/pparse.cmi ../parsing/parsetree.cmi \
- ../parsing/parse.cmi ../utils/misc.cmi ../parsing/location.cmi depend.cmi \
- ../utils/config.cmi ../driver/compenv.cmi ../utils/clflags.cmi
+ ../parsing/parse.cmi ../utils/misc.cmi ../parsing/longident.cmi \
+ ../parsing/location.cmi depend.cmi ../utils/config.cmi \
+ ../driver/compenv.cmi ../utils/clflags.cmi
ocamldep.cmx : ../driver/pparse.cmx ../parsing/parsetree.cmi \
- ../parsing/parse.cmx ../utils/misc.cmx ../parsing/location.cmx depend.cmx \
- ../utils/config.cmx ../driver/compenv.cmx ../utils/clflags.cmx
+ ../parsing/parse.cmx ../utils/misc.cmx ../parsing/longident.cmx \
+ ../parsing/location.cmx depend.cmx ../utils/config.cmx \
+ ../driver/compenv.cmx ../utils/clflags.cmx
ocamlmklib.cmo : ocamlmklibconfig.cmo
ocamlmklib.cmx : ocamlmklibconfig.cmx
ocamlmklibconfig.cmo :