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, 27 deletions

diff --git a/cil.patch/dataflow.ml.patch b/cil.patch/dataflow.ml.patch
deleted file mode 100644
index 87b00de6..00000000
--- a/cil.patch/dataflow.ml.patch
+++ /dev/null
@@ -1,27 +0,0 @@
-*** ../cil/src/ext/dataflow.ml	2006-05-21 06:14:15.000000000 +0200
---- ../cil_patch/src/ext/dataflow.ml	2006-06-20 17:28:35.000000000 +0200
-***************
-*** 1,3 ****
---- 1,4 ----
-+ (* MODIF: Loop constructor replaced by 3 constructors: While, DoWhile, For. *)
-  
-  module IH = Inthash
-  module E = Errormsg
-***************
-*** 219,225 ****
-  
-              | Goto _ | Break _ | Continue _ | If _ 
-              | TryExcept _ | TryFinally _ 
-!             | Switch _ | Loop _ | Return _ | Block _ -> curr
-            in
-            currentLoc := get_stmtLoc s.skind;
-                  
---- 220,227 ----
-  
-              | Goto _ | Break _ | Continue _ | If _ 
-              | TryExcept _ | TryFinally _ 
-!             | Switch _ | (*Loop _*) While _ | DoWhile _ | For _
-! 	    | Return _ | Block _ -> curr
-            in
-            currentLoc := get_stmtLoc s.skind;
-