From d49e856ece6c2e2865f93f36d143bb91d6b9081d Mon Sep 17 00:00:00 2001
From: Christian Rinderknecht <Christian.Rinderknecht@tezcore.com>
Date: Tue, 14 Apr 2020 11:51:24 +0200
Subject: [PATCH] Forgot to remove gcc as a dependency so the docker image is
 smaller.

---
 scripts/install_build_environment.sh | 28 ++++++++++++----------------
 1 file changed, 12 insertions(+), 16 deletions(-)

diff --git a/scripts/install_build_environment.sh b/scripts/install_build_environment.sh
index 0dd33f068..bfbfa69fc 100755
--- a/scripts/install_build_environment.sh
+++ b/scripts/install_build_environment.sh
@@ -5,16 +5,16 @@ set -e
 
 if [ -n "`which opam`" ]
 then
-    if [ -n "`opam --version | grep -P "2\..\.."`" ]
+  if [ -n "`opam --version | grep -P "2\..\.."`" ]
     then
-	echo "Opam 2.x seems to already exist, exiting..."
-	exit 1
+      echo "Opam 2.x seems to already exist, exiting..."
+      exit 1
     else
-	read -p "This script will upgrade opam to the 2.x series, are you okay with that? (y/n)" choice1
-	case "$choice1" in
-	    y|Y ) : ;;
-	    n|N ) exit ;;
-	esac
+      read -p "This script will upgrade opam to the 2.x series, are you okay with that? (y/n)" choice1
+      case "$choice1" in
+        y|Y ) : ;;
+        n|N ) exit ;;
+      esac
     fi
 fi
 
@@ -24,24 +24,22 @@ then
     sudo pacman -Sy --noconfirm \
         make \
         m4 \
-        gcc \
         patch \
         bubblewrap \
         rsync \
-        curl 
+        curl
 fi
 
 if [ -n "`uname -a | grep -i ubuntu`" ]
 then
 sudo apt-get install -y make \
      m4 \
-     gcc \
      patch \
      bubblewrap \
      rsync \
-     curl 
+     curl
 fi
-    
+
 if [ -n "`uname -a | grep -i ubuntu`" ]
 then
     echo "ubuntu"
@@ -84,10 +82,8 @@ else
             echo "(If you actually get this message, you should probably file an issue)"
             echo "https://gitlab.com/ligolang/ligo/issues"
             exit 1
-        fi	   	   
+        fi
     fi
 fi
 
 opam init -a --bare
-
-