From a5f03d96eee482cd84861fc8cefff9eb451c0cad Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 29 Mar 2009 09:47:11 +0000
Subject: 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
---
 cil.patch/Makefile.in.patch | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 cil.patch/Makefile.in.patch

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

diff --git a/cil.patch/Makefile.in.patch b/cil.patch/Makefile.in.patch
deleted file mode 100644
index 7bc4ea1b..00000000
--- a/cil.patch/Makefile.in.patch
+++ /dev/null
@@ -1,23 +0,0 @@
---- ../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
- # Now the extra features, with the first letter capitalized
--	echo -ne \
-+	echo \
-           $(foreach f,@EXTRAFEATURES@, \
--             `echo $f | cut -c 1 | tr "[a-z]" "[A-Z]"``echo $f | cut -c 2-`".feature;\n") >> $@
-+             `echo $f | cut -c 1 | tr "[a-z]" "[A-Z]"``echo $f | cut -c 2-`".feature;") >> $@
- 	echo "]"   >>$@ 
- # Must delete main.d and remake it, because it may have been made
- # before feature_config existed.
-- 
cgit