Fix the build of coq via ocamlbuild

 - no more plugins/interface
 - a few missing files in theories.itarget
 - a few things required Unix now

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

1 files changed, 5 insertions, 1 deletions

diff --git a/_tags b/_tags
index 97957e81e..6f83b4ef3 100644
--- a/_tags
+++ b/_tags
@@ -9,12 +9,16 @@
 <tools/coq_makefile.{native,byte}> : use_str
 <tools/coqdoc/main.{native,byte}> : use_str
 <checker/main.{native,byte}> : use_str, use_unix, use_gramlib
-<plugins/micromega/csdpcert.{native,byte}> : use_nums
+<plugins/micromega/csdpcert.{native,byte}> : use_nums, use_unix
 
 ## tags for ide
 
 <ide/**/*.{ml,mli}>: thread, ide
 
+## tags for grammar.cm*
+
+<parsing/grammar.{cma,cmxa}> : use_unix
+
 ## tags for camlp4 files 
 
 <**/*.ml4>: is_ml4