diff options
Diffstat (limited to '.cirrus/Dockerfile.ubuntu16.04')
-rw-r--r-- | .cirrus/Dockerfile.ubuntu16.04 | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/.cirrus/Dockerfile.ubuntu16.04 b/.cirrus/Dockerfile.ubuntu16.04 index 92ab2bae..a62cf4c6 100644 --- a/.cirrus/Dockerfile.ubuntu16.04 +++ b/.cirrus/Dockerfile.ubuntu16.04 @@ -9,7 +9,7 @@ RUN set -e -x ;\ 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 libeigen3-dev \ - zlib1g-dev + zlib1g-dev curl RUN set -e -x ;\ mkdir -p /usr/local/src ;\ @@ -52,3 +52,13 @@ RUN set -e -x ;\ cmake . ;\ make -j $(nproc) ;\ make install + +RUN set -e -x ;\ + curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y ;\ + mkdir -p /usr/local/src ;\ + cd /usr/local/src ;\ + git clone --recursive https://github.com/daveshah1/prjoxide.git ;\ + cd prjoxide ;\ + git reset --hard 72dbb7973f31a30c3b9d18f3bac97caaea9a7f33 ;\ + cd libprjoxide ;\ + PATH=$PATH:$HOME/.cargo/bin cargo install --path prjoxide |