mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

CI: Dockerfile: install curl before dotnet

Browse source
This commit is contained in:
Yatao Li 2018-09-12 00:53:10 +08:00
parent 5fdf3ff799
commit 5474e1675a
2 changed files with 16 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile
View file

@ -1,14 +1,12 @@
FROM ubuntu:14.04 FROM ubuntu:14.04
RUN curl -SL https://packages.microsoft.com/config/ubuntu/16.04/packages-microsoft-prod.deb --output packages-microsoft-prod.deb && \
dpkg -i packages-microsoft-prod.deb && \
apt-get install apt-transport-https
RUN apt-get update && \ RUN apt-get update && \
apt-get -y --no-install-recommends install \ apt-get -y --no-install-recommends install \
apt-transport-https \
binutils \ binutils \
clang-3.9 \ clang-3.9 \
cmake \ cmake \
curl \
doxygen \ doxygen \
default-jdk \ default-jdk \
gcc-multilib \ gcc-multilib \
@ -26,8 +24,12 @@ RUN apt-get update && \
python3 \ python3 \
python3-setuptools \ python3-setuptools \
python2.7 \ python2.7 \
python-setuptools \ python-setuptools
dotnet-sdk-2.1
RUN curl -SL https://packages.microsoft.com/config/ubuntu/16.04/packages-microsoft-prod.deb --output packages-microsoft-prod.deb && \
dpkg -i packages-microsoft-prod.deb && \
apt-get update && \
apt-get -y --no-install-recommends install dotnet-sdk-2.1
# Create `user` user for container with password `user`. and give it # Create `user` user for container with password `user`. and give it
# password-less sudo access # password-less sudo access

14
contrib/ci/Dockerfiles/z3_base_ubuntu_16.04.Dockerfile
View file

@ -1,15 +1,13 @@
FROM ubuntu:16.04 FROM ubuntu:16.04
RUN curl -SL https://packages.microsoft.com/config/ubuntu/16.04/packages-microsoft-prod.deb --output packages-microsoft-prod.deb && \
dpkg -i packages-microsoft-prod.deb && \
apt-get install apt-transport-https
RUN apt-get update && \ RUN apt-get update && \
apt-get -y --no-install-recommends install \ apt-get -y --no-install-recommends install \
apt-transport-https \
binutils \ binutils \
clang \ clang \
clang-3.9 \ clang-3.9 \
cmake \ cmake \
curl \
doxygen \ doxygen \
default-jdk \ default-jdk \
gcc-multilib \ gcc-multilib \
@ -29,8 +27,12 @@ RUN apt-get update && \
python3-setuptools \ python3-setuptools \
python2.7 \ python2.7 \
python-setuptools \ python-setuptools \
sudo \ sudo
dotnet-sdk-2.1
RUN curl -SL https://packages.microsoft.com/config/ubuntu/16.04/packages-microsoft-prod.deb --output packages-microsoft-prod.deb && \
dpkg -i packages-microsoft-prod.deb && \
apt-get update && \
apt-get -y --no-install-recommends install dotnet-sdk-2.1
# Create `user` user for container with password `user`. and give it # Create `user` user for container with password `user`. and give it
# password-less sudo access # password-less sudo access