diff options
author | Moritz Angermann <moritz.angermann@gmail.com> | 2021-04-27 10:18:59 +0800 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-05-25 05:52:02 -0400 |
commit | 4d100f68e6ab76fbfc45515828dcee4e66d924cb (patch) | |
tree | 93e5b3fdb44c2f93a66e209528854045058fb931 /.gitlab/ci.sh | |
parent | 8f22af8cbd4365382555cb8db676d87d02256d8d (diff) | |
download | haskell-4d100f68e6ab76fbfc45515828dcee4e66d924cb.tar.gz |
[ci] no more brew or pip
We pull dependencies (reliably) via nix, and open up nix where
needed.
Diffstat (limited to '.gitlab/ci.sh')
-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 99c7e8bfa5..2f115c2b22 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -152,17 +152,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}" @@ -215,10 +204,6 @@ function setup() { if [[ "$needs_toolchain" = "1" ]]; 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" |