--- rpl/rplcas/Makefile.in	2011/09/08 14:02:52	1.18
+++ rpl/rplcas/Makefile.in	2011/09/10 20:44:49	1.20
@@ -38,8 +38,8 @@ lib/libmpfr.a: lib/libgmp.a
 			$(MAKE) -C @MPFR@ $(AM_MAKEFLAGS) install
 
 lib/ntl.a:
-	(cd @NTL@/src && ./configure && \
-			CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
+	(cd @NTL@/src && ./configure)
+	(CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
 		   	$(MAKE) -C @NTL@/src $(AM_MAKEFLAGS) -f makefile)
 	cp @NTL@/src/ntl.a lib/ntl.a
 	cp @NTL@/src/ntl.a lib/ntl.a
@@ -105,6 +105,15 @@ lib/librplcas.a: lib/libgiac.a lib/libgm
 		   	ar x ../lib/libmpfr.a && \
 		   	for i in `ar t ../lib/libmpfr.a`; \
 		   	do mv $$i libmpfr_$$i; done && \
+			ar x ../lib/libcocoa.a && \
+			for i in `ar t ../lib/libcocoa.a`; \
+			do mv $$i libcocoa_$$i; done && \
+			ar x ../lib/libpari.a && \
+			for i in `ar t ../lib/libpari.a`; \
+			do mv $$i libpari_$$i; done && \
+			ar x ../lib/ntl.a && \
+			for i in `ar t ../lib/ntl.a`; \
+			do mv $$i libntl_$$i; done && \
 		   	ar x ../lib/libgiac.a && \
 		   	for i in `ar t ../lib/libgiac.a`; \
 		   	do mv $$i libgiac_$$i; done && \