diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-29 11:15:29 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-29 11:15:29 +0100 |
| commit | c130f4936bad11fd6dab3a5d142b870d2a5f650c (patch) | |
| tree | f1a529ef15e87c377ecdde78262bea5196aa7643 /Makefile.extr | |
| parent | 7e71f5071b19415b4b285702e1753c9a82523acb (diff) | |
| download | compcert-c130f4936bad11fd6dab3a5d142b870d2a5f650c.tar.gz compcert-c130f4936bad11fd6dab3a5d142b870d2a5f650c.zip | |
Use Unix.create_process instead of Sys.command (continued).
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 35ae5f7b..5c9cc8dd 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) |