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

diff --git a/cil.patch/dataslicing.ml.patch b/cil.patch/dataslicing.ml.patch
deleted file mode 100644
index cebf2e3a..00000000
--- a/cil.patch/dataslicing.ml.patch
+++ /dev/null
@@ -1,28 +0,0 @@
-*** ../cil/src/ext/dataslicing.ml	2006-05-21 06:14:15.000000000 +0200
---- ../cil_patch/src/ext/dataslicing.ml	2006-06-21 11:14:58.866051623 +0200
-***************
-*** 1,3 ****
---- 1,5 ----
-+ (* MODIF: Loop constructor replaced by 3 constructors: While, DoWhile, For. *)
-+ 
-  (*
-   *
-   * Copyright (c) 2004, 
-***************
-*** 357,365 ****
---- 359,373 ----
-    | Return (eo, l) -> sliceReturnExp eo l
-    | Switch (e, b, sl, l) -> Switch (sliceExp 1 e, sliceBlock b,
-                                      List.map sliceStmt sl, l)
-+ (*
-    | Loop (b, l, so1, so2) -> Loop (sliceBlock b, l,
-                                     applyOption sliceStmt so1,
-                                     applyOption sliceStmt so2)
-+ *)
-+   | While (e, b, l) -> While (sliceExp 1 e, sliceBlock b, l)
-+   | DoWhile (e, b, l) -> DoWhile (sliceExp 1 e, sliceBlock b, l)
-+   | For (bInit, e, bIter, b, l) ->
-+ 	For (sliceBlock bInit, sliceExp 1e, sliceBlock bIter, sliceBlock b, l)
-    | Goto _ -> sk
-    | _ -> E.s (unimp "statement")
-