From 496e1e5a32ccfe45861d05ceb2785a7a7dc86f7b Mon Sep 17 00:00:00 2001
From: Gregor Kleen <kleen@cip.ifi.lmu.de>
Date: Thu, 7 Nov 2019 16:47:37 +0100
Subject: [PATCH] Update .gitlab-ci.yml

---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 805df1b82..9136c0eb0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,8 +1,8 @@
 default:
   image: fpco/stack-build:lts-13.21
   before_script:
-    - apt-get install -y --no-install-recommends gcc
-    - echo $PATH | xargs -d ':' -- ls
+    - apt-get install -y --no-install-recommends build-essential
+    - ln -s $(which g++-7) $(dirname $(which g++-7))/g++
 
 variables:
   STACK_ROOT: "${CI_PROJECT_DIR}/.stack"