diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/.depend | 2 | ||||
-rw-r--r-- | tools/ocamlcp.ml | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/tools/.depend b/tools/.depend index 02ae6777fa..035fd88b96 100644 --- a/tools/.depend +++ b/tools/.depend @@ -33,6 +33,8 @@ ocamldep.cmx: ../utils/clflags.cmx ../utils/config.cmx depend.cmx \ ../parsing/lexer.cmx ../parsing/location.cmx ../parsing/longident.cmx \ ../utils/misc.cmx ../parsing/parse.cmx ../parsing/parsetree.cmi \ ../parsing/syntaxerr.cmx +ocamlmktop.cmo: ../utils/ccomp.cmi +ocamlmktop.cmx: ../utils/ccomp.cmx ocamlprof.cmo: ../utils/clflags.cmo ../utils/config.cmi ../parsing/lexer.cmi \ ../parsing/location.cmi ../utils/misc.cmi ../parsing/parse.cmi \ ../parsing/parsetree.cmi ../parsing/syntaxerr.cmi diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml index 4599cf88b1..ebb1a142d3 100644 --- a/tools/ocamlcp.ml +++ b/tools/ocamlcp.ml @@ -71,6 +71,7 @@ module Options = Main_args.Make_options (struct let _pp s = incompatible "-pp" let _principal = option "-principal" let _rectypes = option "-rectypes" + let _stypes = option "-stypes" let _thread () = ismultithreaded := "-thread"; option "-thread" () let _unsafe = option "-unsafe" let _use_prims s = option_with_arg "-use-prims" s |