diff options
Diffstat (limited to 'tools/pipol/rc.i386-linux-debian-testing')
| -rwxr-xr-x | tools/pipol/rc.i386-linux-debian-testing | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/tools/pipol/rc.i386-linux-debian-testing b/tools/pipol/rc.i386-linux-debian-testing deleted file mode 100755 index 1dc3454..0000000 --- a/tools/pipol/rc.i386-linux-debian-testing +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh - -cat >>/etc/apt/apt.conf.d/100MpfrChanges <<EOF -APT::Cache-Limit 141943904; -APT::Default-Release "stable"; -EOF - -apt-get -qq update - -apt-get -q=2 install libstdc++5 - -apt-get -qq install bzip2 <&- -apt-get -qq install autoconf <&- -apt-get -qq install automake <&- -apt-get -qq install libtool <&- -apt-get -qq install libgmp3-dev <&- - -# mpc needs it -apt-get -qq install libmpfr-dev <&- - |