--- rpl/rplcas/Makefile.in	2011/04/20 08:26:03	1.1
+++ rpl/rplcas/Makefile.in	2011/04/20 20:00:19	1.3
@@ -1,28 +1,58 @@
 srcdir=@srcdir@
 top_builddir=@abs_top_builddir@
 
-all: configure
-	make -C @GMP@ all && make -C @GMP@ install
-	make -C @MPFR@ all
+.PHONY: configure clean
+
+all:
+	make @GMP@/lib/libgmp.a
+	make @MPFR@/lib/libmpfr.a
+	make @NTL@/lib/ntl.a
+	make @COCOA@/lib/libcocoa.a
+	make @FLTK@/lib/libfltk.a
 
-configure:
+@GMP@/lib/libgmp.a:
 	if [ ! -d @GMP@ ]; then \
 		mkdir @GMP@; \
 	fi
-	if [ ! -d @MPFR@ ]; then \
-		mkdir @MPFR@ ; \
-	fi
 	if [ ! -f @GMP@/config.log ]; then \
 		(cd @GMP@ && ../$(srcdir)/@GMP@/configure --with-readline=no \
 				--prefix=$(top_builddir)/rplcas/@GMP@); \
 	fi
+	make -C @GMP@ all && make -C @GMP@ install
+
+@MPFR@/lib/libmpfr.a: @GMP@/lib/libgmp.a
+	if [ ! -d @MPFR@ ]; then \
+		mkdir @MPFR@ ; \
+	fi
 	if [ ! -f @MPFR@/config.log ]; then \
 		(cd @MPFR@ && ../$(srcdir)/@MPFR@/configure --with-gmp=../@GMP@ \
 				--prefix=$(top_builddir)/rplcas/@MPFR@); \
 	fi
+	make -C @MPFR@ all && make -C @MPFR@ install
+
+@NTL@/lib/ntl.a:
+	if [ ! -d @NTL@/lib ]; then \
+		mkdir -p @NTL@/lib ; \
+	fi
+	make -C @NTL@/src && cp @NTL@/src/ntl.a @NTL@/lib/ntl.a
+
+@COCOA@/lib/libcocoa.a: @GMP@/lib/libgmp.a
+	if [ ! -f @COCOA@/configuration/autoconf.mk ]; then \
+		(cd @COCOA@ && ./configure --with-libgmp=../@GMP@/lib/libgmp.a \
+				--with-libgsl=../../tools/@GSL@/.libs/libgsl.a) ;\
+	fi
+	make -C @COCOA@ library
+
+@FLTK@/lib/libfltk.a:
+	if [ ! -f @FLTK@/config.log ]; then \
+		(cd @FLTK@ && ./configure \
+				--prefix=$(top_builddir)/rplcas/@FLTK@ \
+				--disable-xinerama --disable-xft --disable-xdbe); \
+	fi
+	make -C @FLTK@
 
 install: all
 
-clean: configure
-	make -C @GMP@ clean
-	make -C @MPFR@ clean
+clean:
+
+distdir: