From f1d236b83003eda71e12840732d159fd23b1b771 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 29 Apr 2014 13:58:18 +0000
Subject: Integration of Jacques-Henri Jourdan's verified parser. (Merge of
 branch newparser.)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 _tags | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to '_tags')

diff --git a/_tags b/_tags
index 27f3e87..8f6d58a 100644
--- a/_tags
+++ b/_tags
@@ -1,6 +1,7 @@
+true: use_menhir
 <**/*.cmx>: debug
 <**/*.native>: debug
-<driver/Driver.*{byte,native}>: use_unix,use_str,use_Cparser
-<exportclight/Clightgen.*{byte,native}>: use_unix,use_str,use_Cparser
+<driver/Driver.*{byte,native}>: use_unix,use_str
+<exportclight/Clightgen.*{byte,native}>: use_unix,use_str
 <checklink/*.ml>: pkg_bitstring,warn_error_A
-<checklink/Validator.*{byte,native}>: pkg_unix,pkg_str,pkg_bitstring,use_Cparser
+<checklink/Validator.*{byte,native}>: pkg_unix,pkg_str,pkg_bitstring
-- 
cgit v1.2.3