cache rocksdb-3.13.1

This commit is contained in:
debris 2016-01-28 18:04:16 +01:00
parent c9c4e4b870
commit 698eeb97c1

View File

@ -10,6 +10,7 @@ cache:
directories: directories:
- target/debug/deps - target/debug/deps
- target/debug/build - target/debug/build
- rocksdb-3.13.1
addons: addons:
apt: apt:
packages: packages:
@ -17,6 +18,7 @@ addons:
- libelf-dev - libelf-dev
- libdw-dev - libdw-dev
before_script: | before_script: |
[ -d "rocksdb-3.13.1" ] &&
wget https://github.com/facebook/rocksdb/archive/rocksdb-3.13.1.tar.gz && wget https://github.com/facebook/rocksdb/archive/rocksdb-3.13.1.tar.gz &&
tar -zxvf rocksdb-3.13.1.tar.gz && tar -zxvf rocksdb-3.13.1.tar.gz &&
cd rocksdb-rocksdb-3.13.1 && cd rocksdb-rocksdb-3.13.1 &&