Merge branch 'rocksdb'

This commit is contained in:
Ștefan Talpalaru 2019-11-06 15:26:41 +01:00
commit c734e959c7
No known key found for this signature in database
GPG Key ID: CBF7934204F1B6F9
1 changed files with 5 additions and 5 deletions

View File

@ -23,6 +23,8 @@ matrix:
- NPROC=2
before_install:
- export LD_LIBRARY_PATH="$LD_LIBRARY_PATH:/usr/local/lib"
- sudo apt-get -q update
- sudo apt-get install -y librocksdb-dev
- os: linux
arch: arm64
sudo: required
@ -32,14 +34,12 @@ matrix:
before_install:
- export LD_LIBRARY_PATH="$LD_LIBRARY_PATH:/usr/local/lib"
- sudo apt-get -q update
- sudo apt-get install -y libpcre3-dev
- sudo apt-get install -y libpcre3-dev librocksdb-dev
- os: osx
env:
- NPROC=2
before_install:
- launchctl setenv LIBRARY_PATH /usr/local/lib # for RocksDB
install:
# build our own rocksdb to test with a fixed version that we think works
- vendor/nimbus-build-system/scripts/build_rocksdb.sh rocksdbCache