--- rpl/rplcas/Makefile.in	2011/09/07 18:53:53	1.16
+++ rpl/rplcas/Makefile.in	2011/09/08 09:39:41	1.17
@@ -37,9 +37,12 @@ lib/libmpfr.a: lib/libgmp.a
 	$(MAKE) -C @MPFR@ $(AM_MAKEFLAGS) all && \
 			$(MAKE) -C @MPFR@ $(AM_MAKEFLAGS) install
 
-lib/ntl.a:
+@NTL@/src/makefile2: @NTL@/src/makefile
+	sed 's/\tmake/\t\$$(MAKE)/g' $< > $@
+	
+lib/ntl.a: @NTL@/src/makefile2
 	CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
-		   	$(MAKE) -C @NTL@/src $(AM_MAKEFLAGS)
+		   	$(MAKE) -C @NTL@/src $(AM_MAKEFLAGS) -f makefile2
 	cp @NTL@/src/ntl.a lib/ntl.a
 	cp @NTL@/src/ntl.a lib/ntl.a
 	cp -R @NTL@/include/NTL include