version 1.85, 2017/10/11 16:15:54
|
version 1.87, 2019/07/16 08:31:46
|
Line 34 purge:
|
Line 34 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@ @FLTK@; \ |
for i in @GMP@ @MPFR@ @MPFI@ @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; \ |