diff --git a/Dockerfile b/Dockerfile index 59d14682..ca916c3e 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,4 +1,4 @@ -FROM ubuntu:12.04 +FROM ubuntu:14.04 ENV HOME /home/stackage ENV LANG en_US.UTF-8 diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh index 2f158306..15a1bec7 100755 --- a/debian-bootstrap.sh +++ b/debian-bootstrap.sh @@ -10,9 +10,6 @@ # instructions, see: # http://www.stackage.org/install -add-apt-repository -y ppa:chris-lea/zeromq -add-apt-repository -y ppa:floe/libtisch -add-apt-repository -y ppa:zoogie/sdl2-snapshots apt-get update apt-get install -y \ build-essential \ @@ -21,7 +18,6 @@ apt-get install -y \ wget \ m4 \ texlive-full \ - libgmp3c2 \ libgmp3-dev \ zlib1g-dev \ libedit2 \