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

1 files changed, 0 insertions, 38 deletions

diff --git a/cil.patch/usedef.ml.patch b/cil.patch/usedef.ml.patch
deleted file mode 100644
index d0753163..00000000
--- a/cil.patch/usedef.ml.patch
+++ /dev/null
@@ -1,38 +0,0 @@
-*** ../cil/src/ext/usedef.ml	2006-05-21 06:14:15.000000000 +0200
---- ../cil_patch/src/ext/usedef.ml	2006-06-20 17:36:16.000000000 +0200
-***************
-*** 1,3 ****
---- 1,5 ----
-+ (* MODIF: Loop constructor replaced by 3 constructors: While, DoWhile, For. *)
-+ 
-  
-  open Cil
-  open Pretty
-***************
-*** 130,136 ****
---- 132,141 ----
-      | Return (Some e, _) -> ve e
-      | If (e, _, _, _) -> ve e
-      | Break _ | Goto _ | Continue _ -> ()
-+ (*
-      | Loop (_, _, _, _) -> ()
-+ *)
-+     | While _ | DoWhile _ | For _ -> ()
-      | Switch (e, _, _, _) -> ve e
-      | Instr il -> 
-          List.iter (fun i -> ignore (visitCilInstr useDefVisitor i)) il
-***************
-*** 165,171 ****
---- 170,181 ----
-        let u'', d'' = handle_block fb in
-        (VS.union (VS.union u u') u'', VS.union (VS.union d d') d'')
-    | Break _ | Goto _ | Continue _ -> !varUsed, !varDefs
-+ (*
-    | Loop (b, _, _, _) -> handle_block b
-+ *)
-+   | While (_, b, _) -> handle_block b
-+   | DoWhile (_, b, _) -> handle_block b
-+   | For (_, _, _, b, _) -> handle_block b
-    | Switch (e, b, _, _) -> 
-        let _ = ve e in
-        let u, d = !varUsed, !varDefs in