on master help sign in
Merge pull request #3007 from TerrorJack/master
669447bMichael Snoyman
build-constraints.yaml+1
@@ -2967,6 +2967,7 @@ packages:
2967
2967
2968 "Shao Cheng <astrohavoc@gmail.com> @TerrorJack":
2968 "Shao Cheng <astrohavoc@gmail.com> @TerrorJack":
2969 - cabal-toolkit
2969 - cabal-toolkit
2970+ - direct-rocksdb
2970 # - simple-download # GHC 8.2.1
2971 # - simple-download # GHC 8.2.1
2971 # - encoding-io # GHC 8.2.1
2972 # - encoding-io # GHC 8.2.1
2972
2973
debian-bootstrap.sh+4
@@ -30,9 +30,12 @@ GHCVER=8.2.1
30apt-get update
30apt-get update
31apt-get install -y \
31apt-get install -y \
32 build-essential \
32 build-essential \
33+ cmake \
33 curl \
34 curl \
34 freeglut3-dev \
35 freeglut3-dev \
35 fsharp \
36 fsharp \
37+ g++ \
38+ gawk \
36 ghc-$GHCVER \
39 ghc-$GHCVER \
37 ghc-$GHCVER-dyn \
40 ghc-$GHCVER-dyn \
38 ghc-$GHCVER-htmldocs \
41 ghc-$GHCVER-htmldocs \
@@ -124,6 +127,7 @@ apt-get install -y \
124 minisat \
127 minisat \
125 mono-mcs \
128 mono-mcs \
126 nettle-dev \
129 nettle-dev \
130+ ninja-build \
127 nodejs \
131 nodejs \
128 npm \
132 npm \
129 openjdk-8-jdk \
133 openjdk-8-jdk \