From b0cb27624e512bdbe234ab1e19f1618f56bf4236 Mon Sep 17 00:00:00 2001
From: Jim Huang <jserv@biilabs.io>
Date: Mon, 22 Jul 2019 06:19:56 +0800
Subject: [PATCH] CI: Migrate to GCC-7 for Ubuntu Linux

The GNU toolchain shipped with Ubuntu Linux 16.04-LTS is quite old, and
various enhancements of mimalloc might not be facilitated. This patch
bumps CI configurations to specify gcc-7 for Linux targets.
---
 azure-pipelines.yml | 21 +++++++++++++++------
 1 file changed, 15 insertions(+), 6 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 79228c41..cf01bbfb 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -31,14 +31,14 @@ jobs:
      ubuntu-16.04
   strategy:
     matrix:
-      Debug:
-        CC: gcc
-        CXX: g++
+      GCC-7 Debug:
+        CC: gcc-7
+        CXX: g++-7
         BuildType: debug
         cmakeExtraArgs: -DCMAKE_BUILD_TYPE=Debug -DMI_CHECK_FULL=ON
-      Release:
-        CC: gcc
-        CXX: g++
+      GCC-7 Release:
+        CC: gcc-7
+        CXX: g++-7
         BuildType: release
         cmakeExtraArgs: -DCMAKE_BUILD_TYPE=Release
       Debug Clang:
@@ -53,6 +53,15 @@ jobs:
         cmakeExtraArgs: -DCMAKE_BUILD_TYPE=Release
 
   steps:
+  - script: |
+      sudo add-apt-repository ppa:ubuntu-toolchain-r/test
+      sudo apt-get update
+      sudo apt-get install -y libc++-dev libc++abi-dev libc++abi1 libstdc++-7-dev gcc-7 g++-7
+      sudo update-alternatives --install /usr/bin/cc cc /usr/bin/$(CC) 100
+      sudo update-alternatives --set cc /usr/bin/$(CC)
+      sudo update-alternatives --install /usr/bin/c++ c++ /usr/bin/$(CXX) 100
+      sudo update-alternatives --set c++ /usr/bin/$(CXX)
+
   - task: CMake@1
     inputs:
       workingDirectory: $(BuildType)