Merge pull request #3007 from TerrorJack/master

Add direct-rocksdb
This commit is contained in:
Michael Snoyman 2017-11-07 12:05:59 +02:00 committed by GitHub
commit 669447bdde
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 0 deletions

View File

@ -2967,6 +2967,7 @@ packages:
"Shao Cheng <astrohavoc@gmail.com> @TerrorJack": "Shao Cheng <astrohavoc@gmail.com> @TerrorJack":
- cabal-toolkit - cabal-toolkit
- direct-rocksdb
# - simple-download # GHC 8.2.1 # - simple-download # GHC 8.2.1
# - encoding-io # GHC 8.2.1 # - encoding-io # GHC 8.2.1

View File

@ -30,9 +30,12 @@ GHCVER=8.2.1
apt-get update apt-get update
apt-get install -y \ apt-get install -y \
build-essential \ build-essential \
cmake \
curl \ curl \
freeglut3-dev \ freeglut3-dev \
fsharp \ fsharp \
g++ \
gawk \
ghc-$GHCVER \ ghc-$GHCVER \
ghc-$GHCVER-dyn \ ghc-$GHCVER-dyn \
ghc-$GHCVER-htmldocs \ ghc-$GHCVER-htmldocs \
@ -124,6 +127,7 @@ apt-get install -y \
minisat \ minisat \
mono-mcs \ mono-mcs \
nettle-dev \ nettle-dev \
ninja-build \
nodejs \ nodejs \
npm \ npm \
openjdk-8-jdk \ openjdk-8-jdk \