--- rpl/rplcas/Makefile.in	2012/05/14 13:27:05	1.29
+++ rpl/rplcas/Makefile.in	2012/07/03 09:24:21	1.30
@@ -59,7 +59,14 @@ 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") ]; 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