on master help sign in
cld-inline test suite requires official Mono packages
commit896ad49efc27b96393a22371ef241069fa1041db authorpepe iborra <pepeiborra@gmail.com> dateSat 13 May 2017, 14:42 (9 years ago) parentc5109a5
2 files changed+6−2
build-constraints.yaml+1−1 debian-bootstrap.sh+5−1
build-constraints.yaml+1−1
@@ -8,7 +8,7 @@ packages:
88 - clr-marshal
99 - clr-host
1010 - threepenny-editors
11− # - clr-inline # https://github.com/fpco/stackage/pull/2470
11+ - clr-inline
1212
1313 "Joshua Koike <jkoike2013@gmail.com> @jano017":
1414 - discord-hs
debian-bootstrap.sh+5−1
@@ -7,7 +7,7 @@
77# wget -O - https://raw.github.com/fpco/stackage/master/debian-bootstrap.sh | bash -ex
88
99# NOTE: Requires that GHC and Cabal are installed and on your PATH. For
10−# instructions, see:
10+# instructions,see:
1111# http://www.stackage.org/install
1212
1313set -exu
@@ -20,6 +20,10 @@ apt-get install -y software-properties-common
2020
2121add-apt-repository ppa:hvr/ghc -y
2222add-apt-repository -y ppa:marutter/rrutter
23+apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
24+add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy main'
25+add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-apache24-compat main'
26+add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-libjpeg62-compat main'
2327
2428GHCVER=8.0.2
2529