From befbc76f89f3d8abc8da17caf91ea4a87ec96eeb Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 28 Mar 2012 13:32:21 +0000
Subject: checklink: first import of Valentin Robert's validator for asm and
 link cparser: renamed Errors to Cerrors; removed packing into Cparser.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1856 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Cparser.mllib | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 cparser/Cparser.mllib

(limited to 'cparser/Cparser.mllib')

diff --git a/cparser/Cparser.mllib b/cparser/Cparser.mllib
new file mode 100644
index 00000000..c5dc5138
--- /dev/null
+++ b/cparser/Cparser.mllib
@@ -0,0 +1,21 @@
+Cerrors
+Cabs
+Cabshelper
+Parse_aux
+Parser
+Lexer
+Machine
+Env
+Cprint
+Cutil
+Ceval
+Cleanup
+Builtins
+Elab
+Rename
+Transform
+Unblock
+StructReturn
+Bitfields
+PackedStructs
+Parse
-- 
cgit