nouveau load path

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@828 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 5 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 144c806fe4..50490451d7 100644
--- a/Makefile
+++ b/Makefile
@@ -355,13 +355,15 @@ COQDEPCMO=config/coq_config.cmo tools/coqdep_lexer.cmo tools/coqdep.cmo
 $(COQDEP): $(COQDEPCMO)
 	$(OCAMLC) $(BYTEFLAGS) -custom -o $@ unix.cma $(COQDEPCMO) $(OSDEPLIBS)
 
-beforedepend:: $(COQDEP)
+beforedepend:: tools/coqdep_lexer.ml $(COQDEP)
 
 GALLINACMO=tools/gallina_lexer.cmo tools/gallina.cmo
 
 $(GALLINA): $(GALLINACMO)
 	$(OCAMLC) $(BYTEFLAGS) -custom -o $@ $(GALLINACMO)
 
+beforedepend:: tools/gallina_lexer.ml
+
 $(COQMAKEFILE): tools/coq_makefile.ml
 	$(OCAMLC) $(BYTEFLAGS) -custom -o $@ tools/coq_makefile.ml
 
@@ -415,6 +417,8 @@ install-library:
 	  $(MKDIR) $(COQLIB)/`dirname $$f`; \
 	  cp $$f $(COQLIB)/`dirname $$f`; \
         done
+	$(MKDIR) $(COQLIB)/states
+	cp states/*.coq $(COQLIB)/states
 	$(MKDIR) $(EMACSLIB)
 	cp tools/coq.el tools/coq.elc $(EMACSLIB)