version 1.72, 2015/04/17 08:42:19
|
version 1.73, 2015/11/09 16:48:08
|
Line 32 purge:
|
Line 32 purge:
|
rm -rf $(srcdir)/tools/$$i; \ |
rm -rf $(srcdir)/tools/$$i; \ |
rm -rf $(top_builddir)/tools/$$i; \ |
rm -rf $(top_builddir)/tools/$$i; \ |
done; |
done; |
for i in @GMP@ @MPFR@ @NTL@ @COCOA@ @PARI@ @GIAC@; \ |
for i in @GMP@ @MPFR@ @NTL@ @COCOA@ @PARI@ @GIAC@ @FLTK@; \ |
do \ |
do \ |
if [ -d $(srcdir)/rplcas/$$i ]; then \ |
if [ -d $(srcdir)/rplcas/$$i ]; then \ |
rm -rf $(srcdir)/rplcas/$$i; \ |
rm -rf $(srcdir)/rplcas/$$i; \ |