From 8bddc438fa3a393a799c388843e235e2a63160fb Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 13 Dec 2007 16:17:16 +0000
Subject: migration of ide/utf8.v to theories/Unicode/Utf8.v

These notations aren't CoqIDE-specific, I can now use them with
ProofGeneral (after a small modification of PG, contact me if you're
interested by the patch). So let's place this file in a globally
visible subdir of theories/. By the way, the filename is now uppercase
as all other .v files. 

By the way, minor other changes in Makefile : extraction/test doesn't
exist anymore, and tags / otags can be made without re-doing any find.
NB: be sure to use etags that comes from emacs and not the one of 
exuberant-ctags, since the latter has now a different syntax 
(in debian, see update-alternatives etags). 



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10376 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 51a679ac7f..dabe3078c6 100644
--- a/Makefile
+++ b/Makefile
@@ -171,7 +171,7 @@ archclean: clean-ide cleantheories
 	rm -f $(MINICOQ)
 
 clean-ide:
-	rm -f $(COQIDEVO) $(COQIDEVO:.vo=.glob) $(COQIDECMO) $(COQIDECMX) $(COQIDECMO:.cmo=.cmi) $(COQIDEBYTE) $(COQIDEOPT) $(COQIDE)
+	rm -f $(COQIDECMO) $(COQIDECMX) $(COQIDECMO:.cmo=.cmi) $(COQIDEBYTE) $(COQIDEOPT) $(COQIDE)
 	rm -f ide/extract_index.ml ide/find_phrase.ml ide/highlight.ml
 	rm -f ide/config_lexer.ml ide/config_parser.mli ide/config_parser.ml
 	rm -f ide/utf8_convert.ml
@@ -198,10 +198,8 @@ cleantheories:
 # Emacs tags
 ###########################################################################
 
-# NB: the -maxdepth 3 is for excluding files from contrib/extraction/test
-
 tags:
-	find . -maxdepth 3 -regex ".*\.ml[i4]?" | sort -r | xargs \
+	echo $(MLIFILES) $(MLFILES) $(ML4FILES) | sort -r | xargs \
 	etags --language=none\
 	      "--regex=/let[ \t]+\([^ \t]+\)/\1/" \
 	      "--regex=/let[ \t]+rec[ \t]+\([^ \t]+\)/\1/" \
@@ -210,15 +208,14 @@ tags:
               "--regex=/exception[ \t]+\([^ \t]+\)/\1/" \
 	      "--regex=/val[ \t]+\([^ \t]+\)/\1/" \
 	      "--regex=/module[ \t]+\([^ \t]+\)/\1/"
-	find . -maxdepth 3 -name "*.ml4" | sort -r | xargs \
+	echo $(ML4FILES) | sort -r | xargs \
 	etags --append --language=none\
 	      "--regex=/[ \t]*\([^: \t]+\)[ \t]*:/\1/"
 
 
 otags: 
-	find . -maxdepth 3 -name "*.ml" -o -name "*.mli" \
-	| sort -r | xargs otags
-	find . -maxdepth 3 -name "*.ml4" | sort -r | xargs \
+	echo $(MLIFILES) $(MLFILES) | sort -r | xargs otags
+	echo $(ML4FILES) | sort -r | xargs \
 	etags --append --language=none\
 	      "--regex=/let[ \t]+\([^ \t]+\)/\1/" \
 	      "--regex=/let[ \t]+rec[ \t]+\([^ \t]+\)/\1/" \
-- 
cgit v1.2.3