Various improvements of coqdep, resulting in a big speedup

 * use of Hashtbl for large sets/maps
 * reorganisation of directory-traversal functions, in order
   to avoid redundant stat / open
 * all files and directory whose names start by . are skipped 
   while tranversing directories: no more visits of .svn !
 * new option -boot to be used when computing dependencies of the
   stdlib: 
    - no need in this case to records the system .vo in coqlibKnown
    - add directly inside coqdep the equivalent of -R theories Coq
      and -R contrib Coq

As a result, coqdep'ing all the .vo of the stdlib now takes 25s 
on my machine instead of 2min30 earlier. 



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

0 files changed, 0 insertions, 0 deletions