on master help sign in
Upgrade to Ubuntu 14.04
b7f9effMichael Snoyman
Dockerfile+1−1
@@ -1,4 +1,4 @@
1−FROM ubuntu:12.04
1+FROM ubuntu:14.04
2
2
3ENV HOME /home/stackage
3ENV HOME /home/stackage
4ENV LANG en_US.UTF-8
4ENV LANG en_US.UTF-8
debian-bootstrap.sh−4
@@ -10,9 +10,6 @@
10# instructions, see:
10# instructions, see:
11# http://www.stackage.org/install
11# http://www.stackage.org/install
12
12
13−add-apt-repository -y ppa:chris-lea/zeromq
14−add-apt-repository -y ppa:floe/libtisch
15−add-apt-repository -y ppa:zoogie/sdl2-snapshots
16apt-get update
13apt-get update
17apt-get install -y \
14apt-get install -y \
18 build-essential \
15 build-essential \
@@ -21,7 +18,6 @@ apt-get install -y \
21 wget \
18 wget \
22 m4 \
19 m4 \
23 texlive-full \
20 texlive-full \
24− libgmp3c2 \
25 libgmp3-dev \
21 libgmp3-dev \
26 zlib1g-dev \
22 zlib1g-dev \
27 libedit2 \
23 libedit2 \