diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-12-31 18:30:51 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-12-31 18:30:51 +0000 |
| commit | 831c5fdf1158c6d55641ea479936f7beabf2221e (patch) | |
| tree | 30017c72e50bef9f58702bb82343a74a449328e4 | |
| parent | c79395a8058295baf1b7250de3aa0ecc838ed2ab (diff) | |
| download | compcert-kvx-831c5fdf1158c6d55641ea479936f7beabf2221e.tar.gz compcert-kvx-831c5fdf1158c6d55641ea479936f7beabf2221e.zip | |
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
| -rw-r--r-- | cil.patch/Makefile.in.patch | 13 |
1 files changed, 11 insertions, 2 deletions
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 |