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 /Makefile | |
| 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
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 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 $@ |