summaryrefslogtreecommitdiff
path: root/ci/setup-linux.sh
diff options
context:
space:
mode:
Diffstat (limited to 'ci/setup-linux.sh')
-rwxr-xr-xci/setup-linux.sh23
1 files changed, 21 insertions, 2 deletions
diff --git a/ci/setup-linux.sh b/ci/setup-linux.sh
index 03e4a1d2f..c5ecb550b 100755
--- a/ci/setup-linux.sh
+++ b/ci/setup-linux.sh
@@ -1,8 +1,27 @@
#!/bin/sh
+set -e
set -x
-apt-get update
-apt-get -y install build-essential pkg-config clang cmake openssl libssl-dev libssh2-1-dev libcurl4-gnutls-dev openssh-server
+TMPDIR=${TMPDIR:-/tmp}
+
+if [ -z "$SKIP_APT" ]; then
+ apt-get update
+ apt-get -y install build-essential pkg-config clang cmake openssl libssl-dev libssh2-1-dev libcurl4-gnutls-dev openssh-server
+fi
mkdir -p /var/run/sshd
+
+if [ "$MBEDTLS" ]; then
+ MBEDTLS_DIR=${MBEDTLS_DIR:-$(mktemp -d ${TMPDIR}/mbedtls.XXXXXXXX)}
+
+ git clone --depth 10 --single-branch --branch mbedtls-2.6.1 https://github.com/ARMmbed/mbedtls.git ${MBEDTLS_DIR}
+ cd ${MBEDTLS_DIR}
+
+ CFLAGS=-fPIC cmake -DENABLE_PROGRAMS=OFF -DENABLE_TESTING=OFF -DUSE_SHARED_MBEDTLS_LIBRARY=OFF -DUSE_STATIC_MBEDTLS_LIBRARY=ON .
+ cmake --build .
+
+ if [ -z "$SKIP_MBEDTLS_INSTALL" ]; then
+ make install
+ fi
+fi