diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-23 09:34:57 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-23 09:34:57 +0100 |
| commit | 65b9b7082d50ed60f42eb4f8a37c9d94693db308 (patch) | |
| tree | 21a46c209bd6d3df413bdc28c858eaee5c1eb122 /Makefile.extr | |
| parent | ed6e82f79383377aa2dc115fbbc74602a2a816b1 (diff) | |
| parent | b3bf3a0cc6431322903beeee5bdd918f5178adea (diff) | |
| download | compcert-kvx-65b9b7082d50ed60f42eb4f8a37c9d94693db308.tar.gz compcert-kvx-65b9b7082d50ed60f42eb4f8a37c9d94693db308.zip | |
Merge github.com:AbsInt/CompCert
Diffstat (limited to 'Makefile.extr')
| -rw-r--r-- | Makefile.extr | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/Makefile.extr b/Makefile.extr index 2afd6e31..83ef3e2b 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -75,9 +75,11 @@ 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 +CHECKLINK_LIBS=str.cmxa EXECUTABLES=ccomp ccomp.byte cchecklink cchecklink.byte clightgen clightgen.byte GENERATED=$(PARSERS:.mly=.mli) $(PARSERS:.mly=.ml) $(LEXERS:.mll=.ml) @@ -90,11 +92,11 @@ CCOMP_OBJS:=$(shell $(MODORDER) driver/Driver.cmx) ccomp: $(CCOMP_OBJS) @echo "Linking $@" - @$(OCAMLOPT) -o $@ $(LIBS) $+ $(LINKERSPEC) + @$(OCAMLOPT) -o $@ $(LIBS) $+ ccomp.byte: $(CCOMP_OBJS:.cmx=.cmo) @echo "Linking $@" - @$(OCAMLC) -o $@ $(LIBS:.cmxa=.cma) $+ $(LINKERSPEC) + @$(OCAMLC) -o $@ $(LIBS:.cmxa=.cma) $+ ifeq ($(CCHECKLINK),true) @@ -102,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 |