on master help sign in
Add direct-rocksdb
commitb97ff7eeb872b93da996600f71fb3826860632b8 authorShao Cheng <astrohavoc@gmail.com> dateTue 7 Nov 2017, 16:47 (9 years ago) parent3bce6d4
2 files changed+5
build-constraints.yaml+1 debian-bootstrap.sh+4
build-constraints.yaml+1
@@ -2968,6 +2968,7 @@ packages:
29682968
29692969 "Shao Cheng <astrohavoc@gmail.com> @TerrorJack":
29702970 - cabal-toolkit
2971+ - direct-rocksdb
29712972 # - simple-download # GHC 8.2.1
29722973 # - encoding-io # GHC 8.2.1
29732974
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 \