From 831c5fdf1158c6d55641ea479936f7beabf2221e Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 31 Dec 2008 18:30:51 +0000
Subject: Turn off generation of libcil.a, which is not correct with OCaml 3.11

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@932 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cil.patch/Makefile.in.patch | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

(limited to 'cil.patch/Makefile.in.patch')

diff --git a/cil.patch/Makefile.in.patch b/cil.patch/Makefile.in.patch
index 560d51e0..7bc4ea1b 100644
--- a/cil.patch/Makefile.in.patch
+++ b/cil.patch/Makefile.in.patch
@@ -1,5 +1,14 @@
---- ../cil/Makefile.in.orig	2006-05-21 06:14:15.000000000 +0200
-+++ ../cil/Makefile.in	2008-03-04 14:04:21.000000000 +0100
+--- ../cil/Makefile.in.orig	2008-12-31 19:08:43.000000000 +0100
++++ ../cil/Makefile.in	2008-12-31 19:09:00.000000000 +0100
+@@ -212,7 +212,7 @@
+ # build two libraries
+ .PHONY: cillib libcil
+ ifeq ($(NATIVECAML),1)
+-cillib: $(OBJDIR)/cil.$(CMXA) $(OBJDIR)/libcil.a
++cillib: $(OBJDIR)/cil.$(CMXA) # $(OBJDIR)/libcil.a
+ else
+ cillib: $(OBJDIR)/cil.$(CMXA) 
+ endif
 @@ -243,9 +243,9 @@
  	echo "   Zrapp.feature;" >> $@  
  endif
-- 
cgit