--- rpl/rplcas/Makefile.in	2011/09/08 14:02:52	1.18
+++ rpl/rplcas/Makefile.in	2011/09/08 15:24:24	1.19
@@ -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 && \