From fe26bf9b20c3f44a7db211bdaf9dc1c908db3d83 Mon Sep 17 00:00:00 2001
From: desmettr
Date: Tue, 26 Nov 2002 19:04:48 +0000
Subject: 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
---
 Makefile | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/Makefile b/Makefile
index e991f9c705..65103d0251 100644
--- a/Makefile
+++ b/Makefile
@@ -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 \
-- 
cgit v1.2.3