diff options
| author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2017-02-15 09:55:01 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-15 09:55:01 +0100 |
| commit | 29653baeb2c7fa6bfe5da031622d8fb8ac1e50c3 (patch) | |
| tree | 0c6bd91373882c97ddd80f72f53bf8406459d999 /Makefile.extr | |
| parent | d28d699bc848795ff9801faef621ac209e992fa0 (diff) | |
| parent | d000fe3f6df676596b5371f9760cdf0b2922ea11 (diff) | |
| download | compcert-29653baeb2c7fa6bfe5da031622d8fb8ac1e50c3.tar.gz compcert-29653baeb2c7fa6bfe5da031622d8fb8ac1e50c3.zip | |
Merge pull request #170 from AbsInt/remove_cminor
Remove CompCert's ability to parse and compile source files written in Cminor
This facility is no longer used (as far as we know) and is painful to maintain.
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 |