version 1.89, 2019/11/14 18:53:43
|
version 1.90, 2020/05/21 17:45:03
|
Line 33 purge:
|
Line 33 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@ @MPFI@ @NTL@ @COCOA@ @PARI@ @GIAC@ @FLTK@; \ |
for i in @GMP@ @MPFR@ @MPFI@ @NTL@ @PARI@ @GIAC@; \ |
do \ |
do \ |
if [ -d $(srcdir)/rplcas/$$i ]; then \ |
if [ -d $(srcdir)/rplcas/$$i ]; then \ |
rm -rf $(srcdir)/rplcas/$$i; \ |
rm -rf $(srcdir)/rplcas/$$i; \ |