last commit before tagging 4.05.0+beta2

master
Damien Doligez 2017-02-20 15:13:47 +01:00
parent dd928f6ef0
commit d755cbe4de
7 changed files with 18 additions and 19 deletions

View File

@ -1,4 +1,4 @@
4.05.0+dev4-2017-02-16
4.05.0+dev5-2017-02-20
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli

Binary file not shown.

Binary file not shown.

Binary file not shown.

View File

@ -79,14 +79,14 @@ lexer.cmx : parser.cmx lexer.cmi
lexer.cmi : parser.cmi
loadprinter.cmo : ../typing/types.cmi ../bytecomp/symtable.cmi printval.cmi \
../typing/printtyp.cmi ../typing/path.cmi ../utils/misc.cmi \
../parsing/longident.cmi ../typing/ident.cmi ../typing/env.cmi \
../typing/ctype.cmi ../utils/config.cmi ../driver/compdynlink.cmi \
loadprinter.cmi
../parsing/longident.cmi ../parsing/location.cmi ../typing/ident.cmi \
../typing/env.cmi ../typing/ctype.cmi ../utils/config.cmi \
../driver/compdynlink.cmi loadprinter.cmi
loadprinter.cmx : ../typing/types.cmx ../bytecomp/symtable.cmx printval.cmx \
../typing/printtyp.cmx ../typing/path.cmx ../utils/misc.cmx \
../parsing/longident.cmx ../typing/ident.cmx ../typing/env.cmx \
../typing/ctype.cmx ../utils/config.cmx ../driver/compdynlink.cmi \
loadprinter.cmi
../parsing/longident.cmx ../parsing/location.cmx ../typing/ident.cmx \
../typing/env.cmx ../typing/ctype.cmx ../utils/config.cmx \
../driver/compdynlink.cmi loadprinter.cmi
loadprinter.cmi : ../parsing/longident.cmi ../driver/compdynlink.cmi
main.cmo : unix_tools.cmi $(UNIXDIR)/unix.cmi time_travel.cmi \
show_information.cmi question.cmi program_management.cmi primitives.cmi \

View File

@ -1,3 +1,11 @@
generators/odoc_literate.cmo : odoc_info.cmi odoc_html.cmo odoc_gen.cmi \
odoc_args.cmi
generators/odoc_literate.cmx : odoc_info.cmx odoc_html.cmx odoc_gen.cmx \
odoc_args.cmx
generators/odoc_todo.cmo : odoc_module.cmo odoc_info.cmi odoc_html.cmo \
odoc_gen.cmi odoc_args.cmi
generators/odoc_todo.cmx : odoc_module.cmx odoc_info.cmx odoc_html.cmx \
odoc_gen.cmx odoc_args.cmx
odoc.cmo : odoc_messages.cmo odoc_info.cmi odoc_global.cmi odoc_gen.cmi \
odoc_config.cmi odoc_args.cmi odoc_analyse.cmi
odoc.cmx : odoc_messages.cmx odoc_info.cmx odoc_global.cmx odoc_gen.cmx \
@ -264,15 +272,3 @@ odoc_value.cmo : ../typing/types.cmi ../typing/printtyp.cmi odoc_types.cmi \
odoc_parameter.cmo odoc_name.cmi odoc_misc.cmi ../parsing/asttypes.cmi
odoc_value.cmx : ../typing/types.cmx ../typing/printtyp.cmx odoc_types.cmx \
odoc_parameter.cmx odoc_name.cmx odoc_misc.cmx ../parsing/asttypes.cmi
generators/odoc_literate.cmo : odoc_info.cmi odoc_html.cmo odoc_gen.cmi \
odoc_args.cmi
generators/odoc_literate.cmx : odoc_info.cmx odoc_html.cmx odoc_gen.cmx \
odoc_args.cmx
generators/odoc_literate.cmxs : odoc_info.cmx odoc_html.cmx odoc_gen.cmx \
odoc_args.cmx
generators/odoc_todo.cmo : odoc_module.cmo odoc_info.cmi odoc_html.cmo \
odoc_gen.cmi odoc_args.cmi
generators/odoc_todo.cmx : odoc_module.cmx odoc_info.cmx odoc_html.cmx \
odoc_gen.cmx odoc_args.cmx
generators/odoc_todo.cmxs : odoc_module.cmx odoc_info.cmx odoc_html.cmx \
odoc_gen.cmx odoc_args.cmx

View File

@ -40,3 +40,6 @@ raw_spacetime_lib.cmi :
raw_spacetime_lib.cmo : raw_spacetime_lib.cmi
raw_spacetime_lib.cmx : raw_spacetime_lib.cmi
raw_spacetime_lib.cmi :
raw_spacetime_lib.cmo : raw_spacetime_lib.cmi
raw_spacetime_lib.cmx : raw_spacetime_lib.cmi
raw_spacetime_lib.cmi :