blob: 1dc3454bf21053d5c25dbb5c6907b15a5e3bcd00 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#!/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 <&-
|