--- rpl/Makefile.am	2015/04/17 08:42:19	1.72
+++ rpl/Makefile.am	2016/03/08 09:12:52	1.74
@@ -9,7 +9,8 @@ EXTRA_DIST = LIMITATIONS Licence_CeCILL_
 		vim/syntax/rpl.vim examples/obele.rpl examples/appel.tar.gz \
 		examples/external.tar.gz DEBIAN/control.in \
 		rplcas/@GMP@.tar.gz rplcas/@MPFR@.tar.gz rplcas/@NTL@.tar.gz \
-		rplcas/@COCOA@.tar.gz rplcas/@PARI@.tar.gz rplcas/@GIAC@.tar.gz
+		rplcas/@COCOA@.tar.gz rplcas/@PARI@.tar.gz rplcas/@GIAC@.tar.gz \
+		rplcas/@MPFI@.tar.gz
 
 all:
 	@if [ x"$(shell $(MAKE) -v | grep '^GNU Make')" = x ]; then \
@@ -32,7 +33,7 @@ purge:
 		rm -rf $(srcdir)/tools/$$i; \
 		rm -rf $(top_builddir)/tools/$$i; \
 	done;
-	for i in @GMP@ @MPFR@ @NTL@ @COCOA@ @PARI@ @GIAC@; \
+	for i in @GMP@ @MPFR@ @NTL@ @COCOA@ @PARI@ @GIAC@ @FLTK@; \
 	do \
 		if [ -d $(srcdir)/rplcas/$$i ]; then \
 			rm -rf $(srcdir)/rplcas/$$i; \