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

travis: fix asan symbolizer path

Browse source
This commit is contained in:
Nuno Lopes 2021-02-20 15:34:43 +00:00
parent ef32977b5d
commit f59ff7c3a0
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
contrib/ci/Dockerfiles/z3_base_ubuntu_18.04.Dockerfile
View file

@ -18,7 +18,7 @@ RUN apt-get update && \
python-setuptools \ python-setuptools \
sudo sudo
RUN curl -SL https://packages.microsoft.com/config/ubuntu/16.04/packages-microsoft-prod.deb --output packages-microsoft-prod.deb && \ RUN curl -SL https://packages.microsoft.com/config/ubuntu/18.04/packages-microsoft-prod.deb --output packages-microsoft-prod.deb && \
dpkg -i packages-microsoft-prod.deb && \ dpkg -i packages-microsoft-prod.deb && \
apt-get update && \ apt-get update && \
apt-get -y --no-install-recommends install dotnet-sdk-2.1 apt-get -y --no-install-recommends install dotnet-sdk-2.1
@ -31,4 +31,4 @@ RUN useradd -m user && \
echo 'user ALL=(root) NOPASSWD: ALL' >> /etc/sudoers echo 'user ALL=(root) NOPASSWD: ALL' >> /etc/sudoers
USER user USER user
WORKDIR /home/user WORKDIR /home/user
ENV ASAN_SYMBOLIZER_PATH=/usr/lib/llvm-3.9/bin/llvm-symbolizer ENV ASAN_SYMBOLIZER_PATH=/usr/lib/llvm-7/bin/llvm-symbolizer