From a5f03d96eee482cd84861fc8cefff9eb451c0cad Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 29 Mar 2009 09:47:11 +0000
Subject: Cleaned up configure script. Distribution of CIL as an expanded
 source tree with changes applied (instead of original .tar.gz + patches to be
 applied at config time).

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1020 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cil.patch/formatparse.mly.patch | 40 ----------------------------------------
 1 file changed, 40 deletions(-)
 delete mode 100644 cil.patch/formatparse.mly.patch

(limited to 'cil.patch/formatparse.mly.patch')

diff --git a/cil.patch/formatparse.mly.patch b/cil.patch/formatparse.mly.patch
deleted file mode 100644
index 09e161b9..00000000
--- a/cil.patch/formatparse.mly.patch
+++ /dev/null
@@ -1,40 +0,0 @@
-*** ../cil/src/formatparse.mly	2006-05-21 06:14:15.000000000 +0200
---- ../cil_patch/src/formatparse.mly	2006-06-20 16:22:57.000000000 +0200
-***************
-*** 1,3 ****
---- 1,5 ----
-+ /* MODIF: Loop constructor replaced by 3 constructors: While, DoWhile, For. */
-+ 
-  /*(* Parser for constructing CIL from format strings *)
-  (*
-   *
-***************
-*** 1352,1357 ****
---- 1354,1360 ----
-                              mkCast e !upointType
-                            else e
-                          in
-+ (*
-                          mkStmt 
-                            (Loop (mkBlock [ mkStmt 
-                                               (If(e,
-***************
-*** 1360,1366 ****
-                                                               (Break loc) ],
-                                                   loc));
-                                             $5 mkTemp loc args ],
-!                                  loc, None, None)))
-                     } 
-  |   instr_list    { (fun mkTemp loc args -> 
-                         mkStmt (Instr ($1 loc args)))
---- 1363,1372 ----
-                                                               (Break loc) ],
-                                                   loc));
-                                             $5 mkTemp loc args ],
-!                                  loc, None, None))
-! *)
-! 			mkStmt
-! 			  (While (e, mkBlock [ $5 mkTemp loc args ], loc)))
-                     } 
-  |   instr_list    { (fun mkTemp loc args -> 
-                         mkStmt (Instr ($1 loc args)))
-- 
cgit