Support Ubuntu 18.04 (#6)

Author: arifogel

.travis.yml

@@ -15,6 +15,14 @@ env:
   # Configurations
   matrix:
 ###############################################################################
+# Ubuntu 18.04 LTS
+###############################################################################
+    # 64-bit default compilers Release
+    - LINUX_BASE=ubuntu_18.04 C_COMPILER=/usr/bin/gcc-5 CXX_COMPILER=/usr/bin/g++-5 TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Release JAVA_BINDINGS=1
+    # 64-bit GCC 5.4 Debug
+    - LINUX_BASE=ubuntu_18.04 C_COMPILER=/usr/bin/gcc-5 CXX_COMPILER=/usr/bin/g++-5 TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Debug RUN_UNIT_TESTS=BUILD_ONLY
+
+###############################################################################
 # Ubuntu 16.04 LTS
 ###############################################################################
     # 64-bit default compilers Release

README.batfish

@@ -6,6 +6,9 @@ LINUX_BASE=ubuntu_14.04 TRAVIS_OS_NAME=linux contrib/ci/scripts/travis_ci_entry_
 ## Ubuntu 16,04 (USES DOCKER)
 LINUX_BASE=ubuntu_16.04 TRAVIS_OS_NAME=linux contrib/ci/scripts/travis_ci_entry_point.sh
 
+## Ubuntu 18,04 (USES DOCKER)
+LINUX_BASE=ubuntu_18.04 TRAVIS_OS_NAME=linux contrib/ci/scripts/travis_ci_entry_point.sh
+
 ### OSX
 # For all OSX builds as of Mojave, make sure you have installed SDK headers by executing:
 # open /Library/Developer/CommandLineTools/Packages/macOS_SDK_headers_for_macOS_10.14.pkg

contrib/ci/Dockerfiles/z3_base_ubuntu_18.04.Dockerfile

@@ -0,0 +1,47 @@
+FROM ubuntu:18.04
+
+RUN apt-get update && \
+    apt-get -y --no-install-recommends install \
+        apt-transport-https \
+        binutils \
+        clang \
+        clang-3.9 \
+        cmake \
+        curl \
+        doxygen \
+        default-jdk \
+        gcc-multilib \
+        gcc-5-multilib \
+        git \
+        graphviz \
+        g++-multilib \
+        g++-5-multilib \
+        libgmp-dev \
+        libgomp1 \
+        libomp5 \
+        libomp-dev \
+        llvm-3.9 \
+        lsb-release \
+        make \
+        ninja-build \
+        python3 \
+        python3-setuptools \
+        python2.7 \
+        python-setuptools \
+        sudo \
+        zip
+
+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 && \
+    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
+# password-less sudo access
+RUN useradd -m user && \
+    echo user:user | chpasswd && \
+    cp /etc/sudoers /etc/sudoers.bak && \
+    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

contrib/ci/README.md

@@ -66,7 +66,7 @@ can be found in
 
 #### Linux specific configuration variables
 
-* `LINUX_BASE` - The base docker image identifier to use (`ubuntu_16.04`, `ubuntu32_16.04`, or `ubuntu_14.04`).
+* `LINUX_BASE` - The base docker image identifier to use (`ubuntu_18.04`, `ubuntu_16.04`, `ubuntu32_16.04`, or `ubuntu_14.04`).
 
 #### Reproducing a build locally
 

contrib/ci/scripts/travis_ci_linux_entry_point.sh

@@ -161,6 +161,10 @@ case ${LINUX_BASE} in
     BASE_DOCKER_FILE="${DOCKER_FILE_DIR}/z3_base_ubuntu_16.04.Dockerfile"
     BASE_DOCKER_IMAGE_NAME="z3_base_ubuntu:16.04"
     ;;
+  ubuntu_18.04)
+    BASE_DOCKER_FILE="${DOCKER_FILE_DIR}/z3_base_ubuntu_18.04.Dockerfile"
+    BASE_DOCKER_IMAGE_NAME="z3_base_ubuntu:18.04"
+    ;;
   *)
     echo "Unknown Linux base ${LINUX_BASE}"
     exit 1

scripts/mk_nuget_release.py

@@ -39,6 +39,7 @@ def download_installs():
 
 os_info = {"z64-ubuntu-14" : ('so', 'ubuntu.14.04-x64'),
            'ubuntu-16' : ('so', 'ubuntu-x64'),
+           'ubuntu-18' : ('so', 'ubuntu.18.04-x64'),
            'x64-win' : ('dll', 'win-x64'),
            'x86-win' : ('dll', 'win-x86'),
            'osx' : ('dylib', 'macos'),
@@ -58,6 +59,7 @@ def unpack():
     # +- runtimes
     #    +- win-x64
     #    +- win-x86
+    #    +- ubuntu.18.04-x64
     #    +- ubuntu.16.04-x64
     #    +- ubuntu.14.04-x64
     #    +- debian.8-x64