on 3feadda help sign in
debian-bootstrap.sh+11−8
since splitsnapshots
unifiedsplit
@@ -30,17 +30,16 @@ GHCVER=8.0.2
30apt-get update
30apt-get update
31apt-get install -y \
31apt-get install -y \
32 build-essential \
32 build-essential \
33− ghc-$GHCVER \
34− ghc-$GHCVER-dyn \
35− ghc-$GHCVER-prof \
36− ghc-$GHCVER-htmldocs \
37− hscolour \
38− sudo \
39 curl \
33 curl \
40 freeglut3-dev \
34 freeglut3-dev \
41 fsharp \
35 fsharp \
36+ ghc-$GHCVER \
37+ ghc-$GHCVER-dyn \
38+ ghc-$GHCVER-htmldocs \
39+ ghc-$GHCVER-prof \
42 git \
40 git \
43 gradle \
41 gradle \
42+ hscolour \
44 libadns1-dev \
43 libadns1-dev \
45 libaio1 \
44 libaio1 \
46 libalut-dev \
45 libalut-dev \
@@ -50,6 +49,7 @@ apt-get install -y \
50 libcairo2-dev \
49 libcairo2-dev \
51 libclang-3.7-dev \
50 libclang-3.7-dev \
52 libcurl4-openssl-dev \
51 libcurl4-openssl-dev \
52+ libcwiid-dev \
53 libdevil-dev \
53 libdevil-dev \
54 libedit-dev \
54 libedit-dev \
55 libedit2 \
55 libedit2 \
@@ -74,6 +74,7 @@ apt-get install -y \
74 libicu-dev \
74 libicu-dev \
75 libimlib2-dev \
75 libimlib2-dev \
76 libjack-jackd2-dev \
76 libjack-jackd2-dev \
77+ libjavascriptcoregtk-4.0-dev \
77 libjudy-dev \
78 libjudy-dev \
78 liblapack-dev \
79 liblapack-dev \
79 libleveldb-dev \
80 libleveldb-dev \
@@ -94,10 +95,11 @@ apt-get install -y \
94 libpango1.0-dev \
95 libpango1.0-dev \
95 libpcap0.8-dev \
96 libpcap0.8-dev \
96 libpq-dev \
97 libpq-dev \
98+ libsdl1.2-dev \
97 libsdl2-dev \
99 libsdl2-dev \
98− libsdl2-mixer-dev \
99− libsdl2-image-dev \
100 libsdl2-gfx-dev \
100 libsdl2-gfx-dev \
101+ libsdl2-image-dev \
102+ libsdl2-mixer-dev \
101 libsdl2-ttf-dev \
103 libsdl2-ttf-dev \
102 libsnappy-dev \
104 libsnappy-dev \
103 libsndfile1-dev \
105 libsndfile1-dev \
@@ -133,6 +135,7 @@ apt-get install -y \
133 r-base \
135 r-base \
134 r-base-dev \
136 r-base-dev \
135 ruby-dev \
137 ruby-dev \
138+ sudo \
136 wget \
139 wget \
137 xclip \
140 xclip \
138 z3 \
141 z3 \