diff options
-rw-r--r-- | .cirrus/Dockerfile.ubuntu16.04 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.cirrus/Dockerfile.ubuntu16.04 b/.cirrus/Dockerfile.ubuntu16.04 index 1b93cfb8..7de6441e 100644 --- a/.cirrus/Dockerfile.ubuntu16.04 +++ b/.cirrus/Dockerfile.ubuntu16.04 @@ -8,7 +8,7 @@ RUN set -e -x ;\ apt-get -y install \ build-essential autoconf cmake clang bison wget flex gperf \ libreadline-dev gawk tcl-dev libffi-dev graphviz xdot python3-dev \ - libboost-all-dev qt5-default git libftdi-dev pkg-config + libboost-all-dev qt5-default git libftdi-dev pkg-config libopenblas-dev RUN set -e -x ;\ mkdir -p /usr/local/src ;\ |