yann@1: This patch comes from the Debian archive:
yann@1:   ftp://ftp.de.debian.org/debian/pool/main/libf/libfloat/libfloat_990616-3.diff.gz
yann@1: 
yann@1: It was stripped of all Debian-related hunks.
yann@1: Kept is the library versioning.
yann@1: 
yann@1: --- libfloat-990616.orig/Makefile
yann@1: +++ libfloat-990616/Makefile
yann@1: @@ -4,15 +4,15 @@
yann@1:  #CC=gcc -g -O2 -freg-struct-return -D__LIBFLOAT__
yann@1:  AR=ar
yann@1:  
yann@1: -all: libfloat.a libfloat.so
yann@1: +all: libfloat.a libfloat.so.1
yann@1:  
yann@1:  libfloat.a: softfloat.o fplib_glue.o
yann@1:  	rm -f libfloat.a
yann@1:  	$(AR) cq libfloat.a softfloat.o fplib_glue.o
yann@1:  
yann@1: -libfloat.so: softfloat.os fplib_glue.os
yann@1: -	rm -f libfloat.so
yann@1: -	gcc -shared softfloat.os fplib_glue.os -o libfloat.so
yann@1: +libfloat.so.1: softfloat.os fplib_glue.os
yann@1: +	rm -f libfloat.so.1
yann@1: +	gcc -shared -Wl,-soname,libfloat.so.1 softfloat.os fplib_glue.os -o libfloat.so.1
yann@1:  
yann@1:  softfloat.o: softfloat/bits64/softfloat.c
yann@1:  	$(CC) -c -o softfloat.o -Isoftfloat/bits64/ARM-gcc softfloat/bits64/softfloat.c
yann@1: @@ -26,14 +26,14 @@
yann@1:  fplib_glue.os: fplib_glue.S
yann@1:  	$(CC) -fpic -c -o fplib_glue.os fplib_glue.S
yann@1:  
yann@1: -install: libfloat.a libfloat.so
yann@1: -	cp -a libfloat.a /usr/lib
yann@1: -	cp -a libfloat.so /usr/lib
yann@1: -	ldconfig
yann@1: +install: libfloat.a libfloat.so.1
yann@1: +	cp -a libfloat.a $(DESTDIR)/usr/lib
yann@1: +	cp -a libfloat.so.1 $(DESTDIR)/usr/lib
yann@1: +	cd $(DESTDIR)/usr/lib; ln -s libfloat.so.1 libfloat.so
yann@1:  
yann@1:  clean: 
yann@1:  	rm -f *.o
yann@1:  	rm -f *.os
yann@1:  	rm -f libfloat.a
yann@1: -	rm -f libfloat.so
yann@1: +	rm -f libfloat.so.1
yann@1:  	rm -f *~