--- rpl/Makefile.am 2015/11/09 16:48:08 1.73 +++ rpl/Makefile.am 2016/09/26 22:16:44 1.75 @@ -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 \ @@ -24,6 +25,7 @@ all: licences: cp -f $(top_builddir)/HEADER $(srcdir) $(MAKE) -C src $@ + $(MAKE) -C rplsums $@ purge: for i in @NCURSES@ @READLINE@ @UNITS@ @GSL@ @GPP@ @GNUPLOT_COMPILATION@ \