@@ -30,17 +30,16 @@ GHCVER=8.0.2
3030apt-get update
3131apt-get install -y \
3232 build-essential \
33− ghc-$GHCVER \
34− ghc-$GHCVER-dyn \
35− ghc-$GHCVER-prof \
36− ghc-$GHCVER-htmldocs \
37− hscolour \
38− sudo \
3933 curl \
4034 freeglut3-dev \
4135 fsharp \
36+ ghc-$GHCVER \
37+ ghc-$GHCVER-dyn \
38+ ghc-$GHCVER-htmldocs \
39+ ghc-$GHCVER-prof \
4240 git \
4341 gradle \
42+ hscolour \
4443 libadns1-dev \
4544 libaio1 \
4645 libalut-dev \
@@ -50,6 +49,7 @@ apt-get install -y \
5049 libcairo2-dev \
5150 libclang-3.7-dev \
5251 libcurl4-openssl-dev \
52+ libcwiid-dev \
5353 libdevil-dev \
5454 libedit-dev \
5555 libedit2 \
@@ -94,10 +94,11 @@ apt-get install -y \
9494 libpango1.0-dev \
9595 libpcap0.8-dev \
9696 libpq-dev \
97+ libsdl1.2-dev \
9798 libsdl2-dev \
98− libsdl2-mixer-dev \
99− libsdl2-image-dev \
10099 libsdl2-gfx-dev \
100+ libsdl2-image-dev \
101+ libsdl2-mixer-dev \
101102 libsdl2-ttf-dev \
102103 libsnappy-dev \
103104 libsndfile1-dev \
@@ -117,7 +118,7 @@ apt-get install -y \
117118 libyaml-dev \
118119 libzip-dev \
119120 libzmq3-dev \
120− llvm-3.7 \
121+ llvm-3.9 \
121122 locales \
122123 m4 \
123124 minisat \
@@ -133,6 +134,7 @@ apt-get install -y \
133134 r-base \
134135 r-base-dev \
135136 ruby-dev \
137+ sudo \
136138 wget \
137139 xclip \
138140 z3 \