[patch] patch for the makefile.in of guava 3.5

guava-makefile-in.patch (text/plain), 630 bytes, created by François Bissey on 2008-07-17 01:50:24 UTC

--- Makefile.in.orig	2008-07-09 16:58:01.000000000 +1200
+++ Makefile.in	2008-07-09 16:58:38.000000000 +1200
@@ -1,5 +1,5 @@
 CC      = gcc
-CFLAGS  = -O2
+CFLAGS  ?= -O2
 SRCDIR  = ../../src/leon/src
 CJSRCDIR= ../../src/ctjhai
 
@@ -19,7 +19,7 @@
 	cp orbdes ../../bin/leon; cp orblist ../../bin/leon; \
 	cp randobj ../../bin/leon; cp setstab ../../bin/leon; \
 	cp wtdist ../../bin/leon; cp src/*.sh ../../bin/leon; \
-	cp wtdist ../../bin; cp desauto ../../bin \
+	cp wtdist ../../bin; cp desauto ../../bin; \
 	cp wtdist ../../bin/@GAPARCH@; cp desauto ../../bin/@GAPARCH@ \
 	)
 # the last two for backwards compatibility?