  
  cil.spec: cil.spec.in
  	./config.status $@
-diff -urN cil.orig/ocamlutil/Makefile.ocaml cil/ocamlutil/Makefile.ocaml
---- cil.orig/ocamlutil/Makefile.ocaml	2005-11-22 06:34:41.000000000 +0100
-+++ cil/ocamlutil/Makefile.ocaml	2006-08-31 09:50:11.000000000 +0200
+diff -urN cil-old/ocamlutil/Makefile.ocaml cil-new/ocamlutil/Makefile.ocaml
+--- cil-old/ocamlutil/Makefile.ocaml	2005-11-22 06:34:41.000000000 +0100
++++ cil-new/ocamlutil/Makefile.ocaml	2006-09-13 13:52:09.000000000 +0200
 @@ -135,6 +135,7 @@
  
  CAMLFLAGS    =$(OPT_FLAGS) -I $(OBJDIR)

diff -urN cil.orig/Makefile.cil.in cil/Makefile.cil.in
--- cil.orig/Makefile.cil.in	2005-11-22 06:34:41.000000000 +0100
+++ cil/Makefile.cil.in	2006-08-30 19:39:53.000000000 +0200
@@ -78,6 +78,7 @@
               canonicalize heap oneret partial simplemem simplify \
 	      dataslicing \

+    );
+    fd_post_check = false;
+  }
diff -urN cil-old/src/maincil.ml cil-new/src/maincil.ml
--- cil-old/src/maincil.ml	2005-11-22 06:34:41.000000000 +0100
+++ cil-new/src/maincil.ml	2006-09-13 13:52:09.000000000 +0200
@@ -105,6 +105,7 @@
     Simplemem.feature;
     Simplify.feature;
