--- rpl/rplcas/Makefile.in	2012/07/03 09:24:21	1.30
+++ rpl/rplcas/Makefile.in	2012/07/04 13:44:33	1.31
@@ -72,6 +72,9 @@ lib/ntl.a:
 	cp -R @NTL@/include/NTL include
 
 lib/libcocoa.a: lib/@LIB_PREFIX@gmp.a
+	sed '1,1/^#!\/bin\/bash/@BASH@/g' @COCOA@/configure > @COCOA@/configure2
+	mv -f @COCOA@/configure2 @COCOA@/configure
+	chmod 755 @COCOA@/configure
 	if [ ! -f @COCOA@/configuration/autoconf.mk ]; then \
 		if [ @BUILD@ = @HOST@ ]; then \
 			(cd @COCOA@ && CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
@@ -85,6 +88,9 @@ lib/libcocoa.a: lib/@LIB_PREFIX@gmp.a
 					--with-libgsl=../../tools/@GSL@/.libs/libgsl.a); \
 		fi; \
 	fi
+	sed 's/^SHELL=/bin/bash/SHELL=@BASH@/g' @COCOA@/configuration/autoconf.mk \
+			> @COCOA@/configuration/autoconf.mk2
+	mv -f @COCOA@/configuration/autoconf.mk2 @COCOA@/configuration/autoconf.mk
 	$(MAKE) -C @COCOA@ $(AM_MAKEFLAGS) library
 	cp @COCOA@/lib/libcocoa.a lib/libcocoa.a
 	cp -R @COCOA@/include/CoCoA include