diff options
Diffstat (limited to 'scripts/travis/before_script.sh')
| -rwxr-xr-x | scripts/travis/before_script.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/travis/before_script.sh b/scripts/travis/before_script.sh index 96825f0ab..1bb76f4bc 100755 --- a/scripts/travis/before_script.sh +++ b/scripts/travis/before_script.sh @@ -175,4 +175,18 @@ if [ $TRAVIS_OS_NAME = linux ]; then sudo make install fi + + if [ "$BEARSSL" = "yes" ]; then + if [ ! -e $HOME/bearssl-0.6/Makefile ]; then + cd $HOME + curl -LO https://bearssl.org/bearssl-0.6.tar.gz + tar -xzf bearssl-0.6.tar.gz + cd bearssl-0.6 + make + fi + cd $HOME/bearssl-0.6 + sudo cp inc/*.h /usr/local/include + sudo cp build/libbearssl.* /usr/local/lib + fi + fi |