From c046b33aa98537a157becad80dafd1ebf4e01534 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 8 Dec 2009 15:01:19 +0000
Subject: 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
---
 _tags | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to '_tags')

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
-- 
cgit v1.2.3