git.iko.soy/stackage
on master help sign in
Add direct-rocksdb
b97ff7eShao Cheng
build-constraints.yaml+1
compare with master
unifiedsplit
@@ -2968,6 +2968,7 @@ packages:
2968
2968
2969 "Shao Cheng <astrohavoc@gmail.com> @TerrorJack":
2969 "Shao Cheng <astrohavoc@gmail.com> @TerrorJack":
2970 - cabal-toolkit
2970 - cabal-toolkit
2971+ - direct-rocksdb
2971 # - simple-download # GHC 8.2.1
2972 # - simple-download # GHC 8.2.1
2972 # - encoding-io # GHC 8.2.1
2973 # - encoding-io # GHC 8.2.1
2973
2974
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 \