diff options
-rw-r--r-- | Makefile.extr | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Makefile.extr b/Makefile.extr index 971725f8..4a95a489 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -66,8 +66,6 @@ LEXERS=backend/CMlexer.mll cparser/Lexer.mll \ LIBS=str.cmxa unix.cmxa $(MENHIR_LIBS) 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) cparser/pre_parser_messages.ml |