Merge branch 'ARM'

This commit is contained in:
Ștefan Talpalaru 2019-10-27 22:52:11 +01:00
commit 59df955ff3
No known key found for this signature in database
GPG Key ID: CBF7934204F1B6F9
2 changed files with 10 additions and 3 deletions

View File

@ -17,15 +17,22 @@ matrix:
- os: linux
arch: amd64
sudo: required
env:
- NPROC=2
before_install:
- export LD_LIBRARY_PATH="$LD_LIBRARY_PATH:/usr/local/lib"
- os: linux
arch: arm64
sudo: required
env:
- NPROC=6 # Worth trying more than 2 parallel jobs: https://travis-ci.community/t/no-cache-support-on-arm64/5416/8
# (also used to get a different cache key than the amd64 one)
before_install:
- export LD_LIBRARY_PATH="$LD_LIBRARY_PATH:/usr/local/lib"
- sudo apt-get install -y libpcre3-dev
- os: osx
env:
- NPROC=2
before_install:
- launchctl setenv LIBRARY_PATH /usr/local/lib # for RocksDB
@ -35,7 +42,7 @@ install:
script:
- set -e # fail fast
- make -j2
- make -j${NPROC} NIMFLAGS="--parallelBuild:${NPROC}"
- build/nimbus --help
- make -j2 test test-reproducibility
- make -j${NPROC} NIMFLAGS="--parallelBuild:${NPROC}" test test-reproducibility

@ -1 +1 @@
Subproject commit 6c375c3474a1d5089ac7e7f00f38e535025984b5
Subproject commit dee348f0fabe518c405fd7bf9180547caaa3a121