diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-19 17:25:29 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-19 17:25:29 +0100 |
commit | 8b56dc911f1042a0954140c61d302d8be9a9def7 (patch) | |
tree | d0a538c4ccee557195b4de7df5b44d4a01dd5f5a /Makefile.extr | |
parent | 959542e4cf126c4f46f00c764b5365804de637c6 (diff) | |
parent | e51ffb6c1d9411515facc5e97a4e8dba5d8b55ab (diff) | |
download | compcert-8b56dc911f1042a0954140c61d302d8be9a9def7.tar.gz compcert-8b56dc911f1042a0954140c61d302d8be9a9def7.zip |
Merge branch 'no-shell' of github.com:AbsInt/CompCert into compcert_windows
Diffstat (limited to 'Makefile.extr')
-rw-r--r-- | Makefile.extr | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.extr b/Makefile.extr index 5f02bf38..543f4637 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -75,9 +75,10 @@ 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 +LEXERS=backend/CMlexer.mll cparser/Lexer.mll \ + lib/Tokenize.mll lib/Readconfig.mll -LIBS=str.cmxa +LIBS=str.cmxa unix.cmxa EXECUTABLES=ccomp ccomp.byte cchecklink cchecklink.byte clightgen clightgen.byte GENERATED=$(PARSERS:.mly=.mli) $(PARSERS:.mly=.ml) $(LEXERS:.mll=.ml) |