diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-06 16:43:51 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-06 16:43:51 +0000 |
| commit | 723c344d3e4cf7fdc2e4854ea7d55d140570424d (patch) | |
| tree | 41ae18d8e43aa80007d361e83414d3b043f693ee /Makefile | |
| parent | 826913ee19c25cfe445f574080524662bdba1597 (diff) | |
nouveau discharge fait par le noyau; plus de recettes dans les corps des constantes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@807 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 11 insertions, 2 deletions
@@ -69,7 +69,7 @@ KERNEL=kernel/names.cmo kernel/univ.cmo kernel/term.cmo \ kernel/environ.cmo kernel/evd.cmo kernel/instantiate.cmo \ kernel/closure.cmo kernel/reduction.cmo kernel/inductive.cmo\ kernel/type_errors.cmo kernel/typeops.cmo kernel/indtypes.cmo \ - kernel/safe_typing.cmo + kernel/cooking.cmo kernel/safe_typing.cmo LIBRARY=library/libobject.cmo library/summary.cmo library/lib.cmo \ library/goptions.cmo \ @@ -385,26 +385,35 @@ minicoq: $(MINICOQCMO) install: install-$(BEST) install-binaries install-library install-manpages install-byte: + $(MKDIR) $(BINDIR) cp $(COQMKTOP) $(COQC) coqtop.byte $(BINDIR) cd $(BINDIR); ln -s coqtop.byte coqtop install-opt: + $(MKDIR) $(BINDIR) cp $(COQMKTOP) $(COQC) coqtop.byte coqtop.opt $(BINDIR) cd $(BINDIR); ln -s coqtop.opt coqtop install-binaries: + $(MKDIR) $(BINDIR) cp tools/coqdep tools/gallina tools/coq_makefile tools/coq-tex \ $(BINDIR) ALLVO=$(INITVO) $(TACTICSVO) $(THEORIESVO) $(CONTRIBVO) install-library: - cp $(ALLVO) $(COQLIB) + $(MKDIR) $(COQLIB) + for f in $(ALLVO); do \ + $(MKDIR) $(COQLIB)/`dirname $$f`; \ + cp $$f $(COQLIB)/`dirname $$f`; \ + done + $(MKDIR) $(EMACSLIB) cp tools/coq.el tools/coq.elc $(EMACSLIB) MANPAGES=tools/coq-tex.1 tools/coqdep.1 tools/gallina.1 install-manpages: + $(MKDIR) $(MANDIR)/man1 cp $(MANPAGES) $(MANDIR)/man1 ########################################################################### |