diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-20 10:52:58 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-20 10:52:58 +0100 |
| commit | a452aa6d282ceb3408cc5557c7b07798a3887b06 (patch) | |
| tree | 3d19ad8ed91cb1929fd4b401eff8289f3de7187c /Makefile.extr | |
| parent | 8b56dc911f1042a0954140c61d302d8be9a9def7 (diff) | |
| download | compcert-a452aa6d282ceb3408cc5557c7b07798a3887b06.tar.gz compcert-a452aa6d282ceb3408cc5557c7b07798a3887b06.zip | |
Removed the Unix from the libraries for cchecklink.
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 543f4637..83ef3e2b 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -79,6 +79,7 @@ LEXERS=backend/CMlexer.mll cparser/Lexer.mll \ lib/Tokenize.mll lib/Readconfig.mll LIBS=str.cmxa unix.cmxa +CHECKLINK_LIBS=str.cmxa EXECUTABLES=ccomp ccomp.byte cchecklink cchecklink.byte clightgen clightgen.byte GENERATED=$(PARSERS:.mly=.mli) $(PARSERS:.mly=.ml) $(LEXERS:.mll=.ml) @@ -103,11 +104,11 @@ CCHECKLINK_OBJS:=$(shell $(MODORDER) checklink/Validator.cmx) cchecklink: $(CCHECKLINK_OBJS) @echo "Linking $@" - @$(OCAMLOPT_P4) -linkpkg -o $@ $(LIBS) $+ + @$(OCAMLOPT_P4) -linkpkg -o $@ $(CHECKLINK_LIBS) $+ cchecklink.byte: $(CCHECKLINK_OBJS:.cmx=.cmo) @echo "Linking $@" - @$(OCAMLC_P4) -linkpkg -o $@ $(LIBS:.cmxa=.cma) $+ + @$(OCAMLC_P4) -linkpkg -o $@ $(CHECKLINK_LIBS:.cmxa=.cma) $+ endif |