diff options
| -rwxr-xr-x | .gitlab/ci.sh | 15 |
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" |