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/oneret.ml.patch b/cil.patch/oneret.ml.patch
deleted file mode 100644
index d4c13d52..00000000
--- a/cil.patch/oneret.ml.patch
+++ /dev/null
@@ -1,38 +0,0 @@
-*** ../cil/src/ext/oneret.ml	2006-05-21 06:14:15.000000000 +0200
---- ../cil_patch/src/ext/oneret.ml	2006-06-21 11:15:54.000000000 +0200
-***************
-*** 1,3 ****
---- 1,5 ----
-+ (* MODIF: Loop constructor replaced by 3 constructors: While, DoWhile, For. *)
-+ 
-  (*
-   *
-   * Copyright (c) 2001-2002, 
-***************
-*** 133,142 ****
---- 135,159 ----
-          currentLoc := l;
-          s.skind <- If(eb, scanBlock false t, scanBlock false e, l);
-          s :: scanStmts mainbody rests
-+ (*
-      | ({skind=Loop(b,l,lb1,lb2)} as s) :: rests -> 
-          currentLoc := l;
-          s.skind <- Loop(scanBlock false b, l,lb1,lb2);
-          s :: scanStmts mainbody rests
-+ *)
-+     | ({skind=While(e,b,l)} as s) :: rests -> 
-+         currentLoc := l;
-+         s.skind <- While(e, scanBlock false b, l);
-+         s :: scanStmts mainbody rests
-+     | ({skind=DoWhile(e,b,l)} as s) :: rests -> 
-+         currentLoc := l;
-+         s.skind <- DoWhile(e, scanBlock false b, l);
-+         s :: scanStmts mainbody rests
-+     | ({skind=For(bInit,e,bIter,b,l)} as s) :: rests -> 
-+         currentLoc := l;
-+ 	s.skind <- For(scanBlock false bInit, e, scanBlock false bIter,
-+ 		       scanBlock false b, l);
-+         s :: scanStmts mainbody rests
-      | ({skind=Switch(e, b, cases, l)} as s) :: rests -> 
-          currentLoc := l;
-          s.skind <- Switch(e, scanBlock false b, cases, l);