version 1.269, 2022/01/03 11:56:00
|
version 1.270, 2022/06/09 14:22:49
|
Line 504 fi
|
Line 504 fi
|
if test ! -d "$srcdir"/tools/$GSL; then |
if test ! -d "$srcdir"/tools/$GSL; then |
gunzip -c "$srcdir"/tools/$GSL.tar.gz | \ |
gunzip -c "$srcdir"/tools/$GSL.tar.gz | \ |
(cd "$srcdir/tools" && tar -xf -) |
(cd "$srcdir/tools" && tar -xf -) |
|
(cd "$srcdir"/tools/$GSL && ./autogen.sh) |
if test $(uname) = "OS/2"; then |
if test $(uname) = "OS/2"; then |
(cd "$srcdir"/tools/$GSL; \ |
(cd "$srcdir"/tools/$GSL; \ |
TMP=$(mktemp tmp.XXXXXXXXXX); \ |
TMP=$(mktemp tmp.XXXXXXXXXX); \ |
Line 514 fi
|
Line 515 fi
|
if test ! -d "$srcdir"/tools/$GPP; then |
if test ! -d "$srcdir"/tools/$GPP; then |
gunzip -c "$srcdir"/tools/$GPP.tar.gz | \ |
gunzip -c "$srcdir"/tools/$GPP.tar.gz | \ |
(cd "$srcdir/tools" && tar -xf -) |
(cd "$srcdir/tools" && tar -xf -) |
|
(cd "$srcdir"/tools/$GPP && autoreconf -i) |
fi |
fi |
if test ! -d "$srcdir"/tools/$FILE; then |
if test ! -d "$srcdir"/tools/$FILE; then |
gunzip -c "$srcdir"/tools/$FILE.tar.gz | \ |
gunzip -c "$srcdir"/tools/$FILE.tar.gz | \ |
Line 565 fi
|
Line 567 fi
|
if test ! -d "$srcdir"/rplcas/$MPFI; then |
if test ! -d "$srcdir"/rplcas/$MPFI; then |
gunzip -c "$srcdir"/rplcas/$MPFI.tar.gz | \ |
gunzip -c "$srcdir"/rplcas/$MPFI.tar.gz | \ |
(cd "$srcdir/rplcas" && tar -xf -) |
(cd "$srcdir/rplcas" && tar -xf -) |
|
(cd "$srcdir"/rplcas/$MPFI && ./autogen.sh) |
fi |
fi |
if test ! -d rplcas/$NTL; then |
if test ! -d rplcas/$NTL; then |
gunzip -c "$srcdir"/rplcas/$NTL.tar.gz | \ |
gunzip -c "$srcdir"/rplcas/$NTL.tar.gz | \ |