--- rpl/rplcas/Makefile.in	2012/04/13 13:51:49	1.28
+++ rpl/rplcas/Makefile.in	2012/07/29 20:38:23	1.32
@@ -59,12 +59,23 @@ lib/ntl.a:
 				CFLAGS="$(CFLAGS)" CXXFLAGS="@SYSROOT@ $(CXXFLAGS)" \
 				LDFLAGS="-L@SYSROOT2@/usr/lib"); \
 	fi
-	(cd @NTL@/src && $(MAKE) $(AM_MAKEFLAGS) -f makefile)
+	(cd @NTL@/src && \
+		if [ -z '$(make -v | grep "^GNU Make")' -a $(shell uname) != Linux ]; \
+					then \
+				sed 's/make /gmake /g' makefile > makefile2 && \
+				\mv -f makefile2 makefile && \
+				sed 's/make /gmake /g' WizardAux > WizardAux2 && \
+				\mv -f WizardAux2 WizardAux; \
+		fi && \
+		$(MAKE) $(AM_MAKEFLAGS) -f makefile)
 	cp @NTL@/src/ntl.a lib/ntl.a
 	cp @NTL@/src/ntl.a 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)" \
@@ -78,6 +89,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
@@ -113,6 +127,7 @@ lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
 		if [ @BUILD@ = @HOST@ ]; then \
 			(cd @GIAC@ && \
 					CPPFLAGS="-I$(top_builddir)/rplcas/include -I$(top_builddir)/tools/@GSL@ $(CPPFLAGS)" \
+					CXXFLAGS="$(CXXFLAGS) -fpermissive" \
 					LDFLAGS="-L$(top_builddir)/rplcas/lib $(LDFLAGS)" \
 					../$(srcdir)/@GIAC@/configure --prefix=$(top_builddir)/rplcas \
 					--enable-pari=$(top_builddir)/rplcas \
@@ -126,6 +141,7 @@ lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
 		else \
 			(cd @GIAC@ && \
 					CPPFLAGS="-I$(top_builddir)/rplcas/include -I$(top_builddir)/tools/@GSL@ @SYSROOT@ $(CPPFLAGS)" \
+					CXXFLAGS="$(CXXFLAGS) -fpermissive" \
 					LDFLAGS="-L$(top_builddir)/rplcas/lib -L@SYSROOT2@/usr/lib $(LDFLAGS)" \
 					../$(srcdir)/@GIAC@/configure --prefix=$(top_builddir)/rplcas \
 					--host=@HOST@ \