diff options
| author | Sébastien Hinderer <seb@tarides.com> | 2022-12-12 10:30:13 +0100 |
|---|---|---|
| committer | Sébastien Hinderer <seb@tarides.com> | 2022-12-12 10:30:13 +0100 |
| commit | ba65016c078b8dc1828775e12a3a9afbae43304b (patch) | |
| tree | 9abd00b30ebf2f7d89fbcad22691012133cc21df /tools/ocamlcmt.ml | |
| parent | cfde7a5c7c5c8b579ce0d7904fc1417ddf41c187 (diff) | |
| download | ocaml-ba65016c078b8dc1828775e12a3a9afbae43304b.tar.gz | |
tools/Makefile: compiler flags adjustments
The purpose of this commit is to use the same compiler flags to compile the
programs in the tools/ directory than those used in the root Makefile.
In addition to a bit of re-ordering, this means two changes:
1. Disabling warning 40 in tools. It was enabled before this commit but
the code didn't trigger it.
2. Enabling warning 70, which required the creation of a bunch of
interface files.
Also, the -g flag has been moved from the CAMLC/CAMLOPT variables to
the COMPFLAGS and LINKFLAGS variables and added to the recipe that
builds make_opcodes.
Moreover, the - appearing in the compilation rules
for .cmi[iox] files just before the file to be compiled has been
removed and the flags in these recipes have been re-ordered so that -c
appears at the end of the recipe, just before the name of the file to compile.
Diffstat (limited to 'tools/ocamlcmt.ml')
| -rw-r--r-- | tools/ocamlcmt.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/ocamlcmt.ml b/tools/ocamlcmt.ml index 359b28aa4b..399a2232dd 100644 --- a/tools/ocamlcmt.ml +++ b/tools/ocamlcmt.ml @@ -189,8 +189,7 @@ let main () = end ) arg_usage - -let () = +let main () = try main () with x -> @@ -198,3 +197,5 @@ let () = Location.report_exception Format.err_formatter x; Format.fprintf Format.err_formatter "@."; exit 2 + +let _ = main () |