diff options
Diffstat (limited to 'Makefile.extr')
-rw-r--r-- | Makefile.extr | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/Makefile.extr b/Makefile.extr index 68709ff5..ed46e3f2 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -17,17 +17,22 @@ include Makefile.config -# Menhir configuration and rules. +# Menhir configuration. include Makefile.menhir +# The pre-parser's error message database is compiled as follows. + +cparser/pre_parser_messages.ml: + $(MAKE) -C cparser correct + # Directories containing plain Caml code DIRS=extraction \ lib common $(ARCH) backend cfrontend cparser driver \ exportclight debug -INCLUDES=$(patsubst %,-I %, $(DIRS)) +INCLUDES=$(patsubst %,-I %, $(DIRS)) $(MENHIR_INCLUDES) # Control of warnings: # warning 3 = deprecated feature. Turned off for OCaml 4.02 (bytes vs strings) @@ -64,7 +69,7 @@ LIBS_BYTE=$(patsubst %.cmxa,%.cma,$(patsubst %.cmx,%.cmo,$(LIBS))) CHECKLINK_LIBS=str.cmxa EXECUTABLES=ccomp ccomp.byte cchecklink cchecklink.byte clightgen clightgen.byte -GENERATED=$(PARSERS:.mly=.mli) $(PARSERS:.mly=.ml) $(LEXERS:.mll=.ml) +GENERATED=$(PARSERS:.mly=.mli) $(PARSERS:.mly=.ml) $(LEXERS:.mll=.ml) cparser/pre_parser_messages.ml # Beginning of part that assumes .depend.extr already exists @@ -113,6 +118,8 @@ clean: rm -f $(EXECUTABLES) rm -f $(GENERATED) for d in $(DIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done + rm -f backend/CMparser.automaton + $(MAKE) -C cparser clean # Generation of .depend.extr |