From 5bc7a5d67324c14059ec9edaaf778f6f7fddcf44 Mon Sep 17 00:00:00 2001
From: Yatao Li <yatli@microsoft.com>
Date: Wed, 12 Sep 2018 00:29:58 +0800
Subject: [PATCH] CI: configure dotnet via docker

---
 .travis.yml                                              | 7 -------
 contrib/ci/Dockerfiles/z3_base_ubuntu32_16.04.Dockerfile | 5 +++--
 contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile   | 8 ++++++--
 contrib/ci/Dockerfiles/z3_base_ubuntu_16.04.Dockerfile   | 8 ++++++--
 4 files changed, 15 insertions(+), 13 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 038874c0d..076b3a554 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -86,13 +86,6 @@ matrix:
       # Note: Apple Clang does not support OpenMP
       env: Z3_BUILD_TYPE=RelWithDebInfo USE_OPENMP=0 DOTNET_BINDINGS=0
 
-matrix:
-  include:
-    - language: csharp
-      dotnet: 2.1.4
-      script:
-        # Add at least one dotnet command invocation to activate the build env.
-        - dotnet restore
 script:
   # Use `travis_wait` when doing LTO builds because this configuration will
   # have long link times during which it will not show any output which
diff --git a/contrib/ci/Dockerfiles/z3_base_ubuntu32_16.04.Dockerfile b/contrib/ci/Dockerfiles/z3_base_ubuntu32_16.04.Dockerfile
index 87e3c8d67..6012bb25f 100644
--- a/contrib/ci/Dockerfiles/z3_base_ubuntu32_16.04.Dockerfile
+++ b/contrib/ci/Dockerfiles/z3_base_ubuntu32_16.04.Dockerfile
@@ -32,7 +32,6 @@ RUN apt-get update && \
         libomp-dev \
         llvm-3.9 \
         make \
-        mono-devel \
         ninja-build \
         python3 \
         python3-setuptools \
@@ -48,4 +47,6 @@ RUN useradd -m user && \
     echo 'user  ALL=(root) NOPASSWD: ALL' >> /etc/sudoers
 USER user
 WORKDIR /home/user
-ENV ASAN_SYMBOLIZER_PATH=/usr/lib/llvm-3.9/bin/llvm-symbolizer
+# TODO .NET core does not support Linux x86 yet, disable it for now.
+# see: https://github.com/dotnet/coreclr/issues/9265
+ENV ASAN_SYMBOLIZER_PATH=/usr/lib/llvm-3.9/bin/llvm-symbolizer DOTNET_BINDINGS=0
diff --git a/contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile b/contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile
index c963ce255..15144fa8e 100644
--- a/contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile
+++ b/contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile
@@ -1,5 +1,9 @@
 FROM ubuntu:14.04
 
+RUN wget -q https://packages.microsoft.com/config/ubuntu/16.04/packages-microsoft-prod.deb && \
+    dpkg -i packages-microsoft-prod.deb && \
+    apt-get install apt-transport-https
+
 RUN apt-get update && \
     apt-get -y --no-install-recommends install \
         binutils \
@@ -18,12 +22,12 @@ RUN apt-get update && \
         lib32gomp1 \
         llvm-3.9 \
         make \
-        mono-devel \
         ninja-build \
         python3 \
         python3-setuptools \
         python2.7 \
-        python-setuptools
+        python-setuptools \
+        dotnet-sdk-2.1
 
 # Create `user` user for container with password `user`.  and give it
 # password-less sudo access
diff --git a/contrib/ci/Dockerfiles/z3_base_ubuntu_16.04.Dockerfile b/contrib/ci/Dockerfiles/z3_base_ubuntu_16.04.Dockerfile
index 08686e275..1963a4ad3 100644
--- a/contrib/ci/Dockerfiles/z3_base_ubuntu_16.04.Dockerfile
+++ b/contrib/ci/Dockerfiles/z3_base_ubuntu_16.04.Dockerfile
@@ -1,5 +1,9 @@
 FROM ubuntu:16.04
 
+RUN wget -q https://packages.microsoft.com/config/ubuntu/16.04/packages-microsoft-prod.deb && \
+    dpkg -i packages-microsoft-prod.deb && \
+    apt-get install apt-transport-https
+
 RUN apt-get update && \
     apt-get -y --no-install-recommends install \
         binutils \
@@ -20,13 +24,13 @@ RUN apt-get update && \
         libomp-dev \
         llvm-3.9 \
         make \
-        mono-devel \
         ninja-build \
         python3 \
         python3-setuptools \
         python2.7 \
         python-setuptools \
-        sudo
+        sudo \
+        dotnet-sdk-2.1
 
 # Create `user` user for container with password `user`.  and give it
 # password-less sudo access