on master help sign in
Revert "More fixes for moving to Stack-installed GHC"
c321990Michael Snoyman
debian-bootstrap.sh+7
@@ -27,12 +27,15 @@ stack setup --resolver ghc-$GHCVER
27apt-get update
27apt-get update
28apt-get install -y software-properties-common
28apt-get install -y software-properties-common
29
29
30+add-apt-repository ppa:hvr/ghc -y
30add-apt-repository -y ppa:marutter/rrutter
31add-apt-repository -y ppa:marutter/rrutter
31apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
32apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
32add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy main'
33add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy main'
33add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-apache24-compat main'
34add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-apache24-compat main'
34add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-libjpeg62-compat main'
35add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-libjpeg62-compat main'
35
36
37+GHCVER=8.6.4
38+
36apt-get update
39apt-get update
37apt-get install -y \
40apt-get install -y \
38 apt-transport-https \
41 apt-transport-https \
@@ -44,6 +47,10 @@ apt-get install -y \
44 fsharp \
47 fsharp \
45 g++ \
48 g++ \
46 gawk \
49 gawk \
50+ ghc-$GHCVER \
51+ ghc-$GHCVER-dyn \
52+ ghc-$GHCVER-htmldocs \
53+ ghc-$GHCVER-prof \
47 git \
54 git \
48 gnupg \
55 gnupg \
49 gradle \
56 gradle \