|
|
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.
|
