1 files changed, 0 insertions, 15 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh
index ae565fe2ff..8a313fc4d6 100755
--- a/.gitlab/ci.sh
+++ b/.gitlab/ci.sh
@@ -98,17 +98,6 @@ mkdir -p "$TOP/tmp"
 export TMP="$TOP/tmp"
 export TEMP="$TOP/tmp"
 
-function darwin_setup() {
-  # It looks like we already have python2 here and just installing python3
-  # does not work.
-  brew upgrade python
-  brew install ghc cabal-install ncurses gmp
-
-  pip3 install sphinx
-  # PDF documentation disabled as MacTeX apparently doesn't include xelatex.
-  #brew cask install mactex
-}
-
 function show_tool() {
   local tool="$1"
   info "$tool = ${!tool}"
@@ -164,10 +153,6 @@ function setup() {
   if [[ -n "$needs_toolchain" ]]; then
     setup_toolchain
   fi
-  case "$(uname)" in
-    Darwin) darwin_setup ;;
-    *) ;;
-  esac
 
   # Make sure that git works
   git config user.email "ghc-ci@gitlab-haskell.org"