sudo make install rocksdb

This commit is contained in:
debris 2016-01-28 18:58:54 +01:00
parent 698eeb97c1
commit 7606b50f29

View File

@ -22,7 +22,7 @@ before_script: |
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 &&
make shared_lib && make install && cd make shared_lib && sudo make install && cd
script: script:
- cargo build --verbose $FEATURES - cargo build --verbose $FEATURES
- cargo test --verbose $FEATURES - cargo test --verbose $FEATURES