on master help sign in
Merge pull request #3007 from TerrorJack/master

Add direct-rocksdb

commit669447bddec67c220302c2a96487c91b19b30f2f authorMichael Snoyman <michael@snoyman.com> dateTue 7 Nov 2017, 12:05 (9 years ago) parentc8f8df7b97ff7e
2 files changed+5
build-constraints.yaml+1 debian-bootstrap.sh+4
build-constraints.yaml+1
@@ -2967,6 +2967,7 @@ packages:
29672967
29682968 "Shao Cheng <astrohavoc@gmail.com> @TerrorJack":
29692969 - cabal-toolkit
2970+ - direct-rocksdb
29702971 # - simple-download # GHC 8.2.1
29712972 # - encoding-io # GHC 8.2.1
29722973
debian-bootstrap.sh+4
@@ -30,9 +30,12 @@ GHCVER=8.2.1
3030apt-get update
3131apt-get install -y \
3232 build-essential \
33+ cmake \
3334 curl \
3435 freeglut3-dev \
3536 fsharp \
37+ g++ \
38+ gawk \
3639 ghc-$GHCVER \
3740 ghc-$GHCVER-dyn \
3841 ghc-$GHCVER-htmldocs \
@@ -124,6 +127,7 @@ apt-get install -y \
124127 minisat \
125128 mono-mcs \
126129 nettle-dev \
130+ ninja-build \
127131 nodejs \
128132 npm \
129133 openjdk-8-jdk \