diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-14 16:12:55 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-14 16:12:55 +0100 |
| commit | d000fe3f6df676596b5371f9760cdf0b2922ea11 (patch) | |
| tree | bb4327ee16f1c5c21ae6c2b4d6f47433a73ebfb5 /Makefile.extr | |
| parent | 8f5f07a486abad68e68c8fabe22f808c9ab9f9cb (diff) | |
| download | compcert-kvx-d000fe3f6df676596b5371f9760cdf0b2922ea11.tar.gz compcert-kvx-d000fe3f6df676596b5371f9760cdf0b2922ea11.zip | |
Removed CMinor import. Bug 20992
Diffstat (limited to 'Makefile.extr')
| -rw-r--r-- | Makefile.extr | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/Makefile.extr b/Makefile.extr index fb19dd00..a1c2ef7c 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -54,8 +54,6 @@ extraction/%.cmx: WARNINGS +=-w -20-27-32..34-39-41-44..45 extraction/%.cmo: WARNINGS +=-w -20-27-32..34-39-41-44..45 cparser/pre_parser.cmx: WARNINGS += -w -41 cparser/pre_parser.cmo: WARNINGS += -w -41 -backend/CMparser.cmx: WARNINGS += -w -41 -backend/CMparser.cmo: WARNINGS += -w -41 COMPFLAGS+=-g $(INCLUDES) $(MENHIR_INCLUDES) $(WARNINGS) @@ -74,10 +72,9 @@ OCAMLDEP=ocamldep$(DOTOPT) -slash $(INCLUDES) OCAMLLEX=ocamllex -q MODORDER=tools/modorder .depend.extr -PARSERS=backend/CMparser.mly cparser/pre_parser.mly -LEXERS=backend/CMlexer.mll cparser/Lexer.mll \ - lib/Tokenize.mll lib/Readconfig.mll \ - lib/Responsefile.mll +PARSERS=cparser/pre_parser.mly +LEXERS=cparser/Lexer.mll lib/Tokenize.mll \ + lib/Readconfig.mll lib/Responsefile.mll LIBS=str.cmxa unix.cmxa $(MENHIR_LIBS) LIBS_BYTE=$(patsubst %.cmxa,%.cma,$(patsubst %.cmx,%.cmo,$(LIBS))) @@ -132,7 +129,6 @@ clean: rm -f $(EXECUTABLES) rm -f $(GENERATED) for d in $(DIRS); do rm -f $$d/*.cm[iotx] $$d/*cmti $$d/*.o; done - rm -f backend/CMparser.automaton $(MAKE) -C cparser clean # Generation of .depend.extr |