diff options
| author | letouzey | 2003-05-23 14:09:12 +0000 |
|---|---|---|
| committer | letouzey | 2003-05-23 14:09:12 +0000 |
| commit | 1768392b2f117ce104934b86a704513fc40e6fe3 (patch) | |
| tree | 5c286638f92b61fd2c4900d6fb697d98fcabf7a6 | |
| parent | 0b743a65a4f37b3a6b5229e3dec8847bb4594c54 (diff) | |
fabrication de ide/utf8.vo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4070 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 6 | ||||
| -rw-r--r-- | toplevel/coqinit.ml | 2 |
2 files changed, 4 insertions, 4 deletions
@@ -401,9 +401,9 @@ beforedepend:: ide/config_parser.mli ide/config_parser.ml beforedepend:: ide/utf8_convert.ml FULLIDELIB=$(FULLCOQLIB)/ide -IDEFILES=ide/coq.png ide/.coqide-gtk2rc ide/FAQ +IDEFILES=ide/utf8.vo ide/coq.png ide/.coqide-gtk2rc ide/FAQ -coqide: coqide-$(HASCOQIDE) +coqide: $(IDEFILES) coqide-$(HASCOQIDE) coqide-no: coqide-byte: $(COQIDEBYTE) $(COQIDE) coqide-opt: $(COQIDEBYTE) $(COQIDEOPT) $(COQIDE) @@ -411,7 +411,7 @@ coqide-opt: $(COQIDEBYTE) $(COQIDEOPT) $(COQIDE) ide: coqide-$(HASCOQIDE) states clean-ide: - rm -f $(COQIDECMO) $(COQIDECMX) $(COQIDECMO:.cmo=.cmi) $(COQIDEBYTE) $(COQIDEOPT) + rm -f ide/utf8.vo $(COQIDECMO) $(COQIDECMX) $(COQIDECMO:.cmo=.cmi) $(COQIDEBYTE) $(COQIDEOPT) $(COQIDEOPT): $(COQMKTOP) $(CMX) $(USERTACCMX) $(COQIDECMX) $(COQMKTOP) -ide -opt $(OPTFLAGS) -o $@ diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml index 83789b50c8..7ea045136c 100644 --- a/toplevel/coqinit.ml +++ b/toplevel/coqinit.ml @@ -81,7 +81,7 @@ let init_load_path () = if Sys.file_exists user_contrib then Mltop.add_path user_contrib Nameops.default_root_prefix; (* then standard library *) - let dirs = "states" :: dev @ [ "theories"; "tactics"; "contrib" ] in + let dirs = "states" :: dev @ [ "theories"; "tactics"; "contrib"; "ide" ] in List.iter (fun s -> coq_add_rec_path (Filename.concat coqlib s)) dirs; let camlp4 = getenv_else "CAMLP4LIB" Coq_config.camlp4lib in add_ml_include camlp4; |