diff options
| author | barras | 2008-05-07 16:13:37 +0000 |
|---|---|---|
| committer | barras | 2008-05-07 16:13:37 +0000 |
| commit | fa5fbb3625452dd560ffb5bfe5493d26b730b402 (patch) | |
| tree | 357d6fe295e25a2c8b27d2d6911506ba3a6d590c /checker/Makefile | |
| parent | 335c779987e4b845e6700d5df81fe248e6e940f7 (diff) | |
fixed bug with aliases
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10896 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'checker/Makefile')
| -rw-r--r-- | checker/Makefile | 26 |
1 files changed, 14 insertions, 12 deletions
diff --git a/checker/Makefile b/checker/Makefile index 7567e78ffc..2bcc9d3656 100644 --- a/checker/Makefile +++ b/checker/Makefile @@ -10,15 +10,7 @@ OPTFLAGS=$(MLDIRS) CHECKERNAME=coqchk BINARIES=../bin/$(CHECKERNAME)$(EXE) ../bin/$(CHECKERNAME).opt$(EXE) - -MCHECKER:=\ - $(COQSRC)/config/coq_config.cmo \ - $(COQSRC)/lib/pp_control.cmo $(COQSRC)/lib/pp.cmo $(COQSRC)/lib/compat.cmo \ - $(COQSRC)/lib/util.cmo $(COQSRC)/lib/option.cmo $(COQSRC)/lib/hashcons.cmo \ - $(COQSRC)/lib/system.cmo $(COQSRC)/lib/flags.cmo \ - $(COQSRC)/lib/predicate.cmo $(COQSRC)/lib/rtree.cmo \ - $(COQSRC)/kernel/names.cmo $(COQSRC)/kernel/univ.cmo \ - $(COQSRC)/kernel/esubst.cmo term.cmo \ +MCHECKERLOCAL :=\ declarations.cmo environ.cmo \ closure.cmo reduction.cmo \ type_errors.cmo \ @@ -29,15 +21,25 @@ validate.cmo \ safe_typing.cmo check.cmo \ check_stat.cmo checker.cmo +MCHECKER:=\ + $(COQSRC)/config/coq_config.cmo \ + $(COQSRC)/lib/pp_control.cmo $(COQSRC)/lib/pp.cmo $(COQSRC)/lib/compat.cmo \ + $(COQSRC)/lib/util.cmo $(COQSRC)/lib/option.cmo $(COQSRC)/lib/hashcons.cmo \ + $(COQSRC)/lib/system.cmo $(COQSRC)/lib/flags.cmo \ + $(COQSRC)/lib/predicate.cmo $(COQSRC)/lib/rtree.cmo \ + $(COQSRC)/kernel/names.cmo $(COQSRC)/kernel/univ.cmo \ + $(COQSRC)/kernel/esubst.cmo term.cmo \ + $(MCHECKERLOCAL) + all: $(BINARIES) byte : ../bin/$(CHECKERNAME)$(EXE) opt : ../bin/$(CHECKERNAME).opt$(EXE) -check.cma: $(MCHECKER) +check.cma: $(MCHECKERLOCAL) ocamlc $(BYTEFLAGS) -a -o $@ $(MCHECKER) -check.cmxa: $(MCHECKER:.cmo=.cmx) +check.cmxa: $(MCHECKERLOCAL:.cmo=.cmx) ocamlopt $(OPTFLAGS) -a -o $@ $(MCHECKER:.cmo=.cmx) ../bin/$(CHECKERNAME)$(EXE): check.cma @@ -78,7 +80,7 @@ stats: depend:: - ocamldep $(MLDIRS) *.ml* > .depend + ocamldep *.ml* > .depend clean:: rm -f *.cm* *.o *.a *~ $(BINARIES) |