[commit: ghc] wip/fix-docs: circleci: Install sphinx and TexLive (7516dc1)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/fix-docs
Link       : http://ghc.haskell.org/trac/ghc/changeset/7516dc1664df72119d4590822b67a6a7555f6723/ghc

>---------------------------------------------------------------

commit 7516dc1664df72119d4590822b67a6a7555f6723
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sat Aug 4 00:21:58 2018 -0400

    circleci: Install sphinx and TexLive


>---------------------------------------------------------------

7516dc1664df72119d4590822b67a6a7555f6723
 .circleci/prepare-system.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/.circleci/prepare-system.sh b/.circleci/prepare-system.sh
index c9320ed..4644cf4 100755
--- a/.circleci/prepare-system.sh
+++ b/.circleci/prepare-system.sh
@@ -22,6 +22,17 @@ EOF
 
 case "$(uname)" in
   Linux)
+    # Install documentation tools
+    if [[ -e dnf ]]; then
+        dnf -y install sphinx-build \
+            texlive texlive-latex texlive-xetex \
+            texlive-collection-latex texlive-collection-latexrecommended \
+            texlive-xetex-def texlive-collection-xetex
+    else
+        sudo apt-get update -qq
+        sudo apt-get install -qy python3-sphinx texlive-xetex
+    fi
+
     if [[ -n ${TARGET:-} ]]; then
       if [[ $TARGET = FreeBSD ]]; then
         # cross-compiling to FreeBSD
@@ -47,6 +58,7 @@ case "$(uname)" in
       sudo ln -s /home/ghc/.cabal/bin/HsColour /usr/local/bin/HsColour || true
     fi
     ;;
+
   Darwin)
     if [[ -n ${TARGET:-} ]]; then
       fail "uname=$(uname) not supported for cross-compilation"
@@ -55,6 +67,9 @@ case "$(uname)" in
     # does not work.
     brew upgrade python
     brew install ghc cabal-install ncurses gmp
+    brew install caskroom/cask/brew-cask
+    brew cask install mactex
+    pip3 install sphinx
     cabal update
     cabal install --reinstall alex happy haddock hscolour --index-state=$hackage_index_state
     # put them on the $PATH, don't fail if already installed