diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-21 16:37:08 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-21 16:37:08 +0100 |
| commit | 77209cf4625da6ffe43ae355ffeda7cf525fc803 (patch) | |
| tree | 973b263fb46bd11ff5286cc1fd33b7ff5f35ab25 /Makefile.extr | |
| parent | 54effdc2bae11f441a34465754e9e43c44b41df9 (diff) | |
| download | compcert-kvx-77209cf4625da6ffe43ae355ffeda7cf525fc803.tar.gz compcert-kvx-77209cf4625da6ffe43ae355ffeda7cf525fc803.zip | |
Removed the last remains of cchecklink.
Diffstat (limited to 'Makefile.extr')
| -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 |