From 77209cf4625da6ffe43ae355ffeda7cf525fc803 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 21 Jan 2016 16:37:08 +0100 Subject: Removed the last remains of cchecklink. --- Makefile.extr | 2 -- 1 file changed, 2 deletions(-) (limited to 'Makefile.extr') 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 -- cgit