diff options
| author |  desmettr <desmettr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-11-26 19:04:48 +0000 |
|---|---|---|
| committer | desmettr <desmettr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-11-26 19:04:48 +0000 |
| commit | fe26bf9b20c3f44a7db211bdaf9dc1c908db3d83 (patch) | |
| tree | d2cb9700e02eee806ade06876fc5f880d562b854 /Makefile | |
| parent | c6b910e54986d2f5b2d6615c2a8a159b4c55731d (diff) | |
Options make coqlight/ make install-coqlight pour les impatients...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3301 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
@@ -346,6 +346,8 @@ coqbinaries:: ${COQBINARIES} world: coqbinaries states theories contrib tools +coqlight: coqbinaries states theories-light tools + $(COQTOPOPT): $(COQMKTOP) $(CMX) $(USERTACCMX) $(COQMKTOP) -opt $(OPTFLAGS) -o $@ $(STRIP) $@ @@ -595,9 +597,13 @@ THEORIESVO = $(LOGICVO) $(ARITHVO) $(BOOLVO) $(ZARITHVO) $(LISTSVO) \ $(SETSVO) $(INTMAPVO) $(RELATIONSVO) $(WELLFOUNDEDVO) \ $(REALSVO) $(SETOIDSVO) $(SORTINGVO) +THEORIESLIGHTVO = $(LOGICVO) $(ARITHVO) + $(THEORIESVO): states/initial.coq +$(THEORIESLIGHTVO): states/initial.coq theories: $(THEORIESVO) +theories-light: $(THEORIESLIGHTVO) logic: $(LOGICVO) arith: $(ARITHVO) @@ -788,6 +794,8 @@ FULLEMACSLIB=$(COQINSTALLPREFIX)$(EMACSLIB) install: install-$(BEST) install-binaries install-library install-manpages +install-coqlight: install-$(BEST) install-binaries install-library-light + install-byte: $(MKDIR) $(FULLBINDIR) cp $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(FULLBINDIR) @@ -803,6 +811,7 @@ install-binaries: cp $(COQDEP) $(GALLINA) $(COQMAKEFILE) $(COQTEX) $(COQINTERFACE) $(COQVO2XML) $(FULLBINDIR) LIBFILES=$(INITVO) $(TACTICSVO) $(THEORIESVO) $(CONTRIBVO) +LIBFILESLIGHT=$(INITVO) $(THEORIESLIGHTVO) install-library: $(MKDIR) $(FULLCOQLIB) @@ -815,6 +824,17 @@ install-library: $(MKDIR) $(FULLEMACSLIB) cp tools/coq.el tools/coq-inferior.el $(FULLEMACSLIB) +install-library-light: + $(MKDIR) $(FULLCOQLIB) + for f in $(LIBFILESLIGHT); do \ + $(MKDIR) $(FULLCOQLIB)/`dirname $$f`; \ + cp $$f $(FULLCOQLIB)/`dirname $$f`; \ + done + $(MKDIR) $(FULLCOQLIB)/states + cp states/*.coq $(FULLCOQLIB)/states + $(MKDIR) $(FULLEMACSLIB) + cp tools/coq.el tools/coq-inferior.el $(FULLEMACSLIB) + MANPAGES=man/coq-tex.1 man/coqdep.1 man/gallina.1 \ man/coqc.1 man/coqtop.1 man/coqtop.byte.1 man/coqtop.opt.1 \ man/coq_makefile.1 man/coqmktop.1 \ |