diff options
author | Ben Gamari <ben@smart-cactus.org> | 2018-08-03 16:48:18 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2018-08-08 23:16:02 -0400 |
commit | 9f937142f67ccf1c8bff9bb809539deca39a7a6f (patch) | |
tree | 3bab777b87e8fd77606a2778c472fcb9f842f9c5 /.circleci/images/i386-linux/Dockerfile | |
parent | e2b5c54f30a31f6b030d29394356fb133b8a0001 (diff) | |
download | haskell-9f937142f67ccf1c8bff9bb809539deca39a7a6f.tar.gz |
circleci: Fix documentation building
Diffstat (limited to '.circleci/images/i386-linux/Dockerfile')
-rw-r--r-- | .circleci/images/i386-linux/Dockerfile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.circleci/images/i386-linux/Dockerfile b/.circleci/images/i386-linux/Dockerfile index 33fe0e1160..13a5721d8c 100644 --- a/.circleci/images/i386-linux/Dockerfile +++ b/.circleci/images/i386-linux/Dockerfile @@ -5,7 +5,13 @@ ENV LANG C.UTF-8 RUN echo 'deb http://ppa.launchpad.net/hvr/ghc/ubuntu trusty main' > /etc/apt/sources.list.d/ghc.list RUN apt-key adv --keyserver keyserver.ubuntu.com --recv-keys F6F88286 RUN apt-get update -qq + +# Core build utilities RUN apt-get install -qy git make automake autoconf gcc perl python3 texinfo xz-utils lbzip2 bzip2 patch openssh-client sudo curl zlib1g-dev libtinfo-dev libsqlite3-0 libsqlite3-dev ca-certificates g++ cabal-install-2.2 ghc-8.4.2 happy alex + +# Documentation tools +RUN apt-get install -qy python3-sphinx texlive-xetex texlive-latex-extra + ENV PATH /home/ghc/.cabal/bin:/home/ghc/.local/bin:/opt/cabal/2.2/bin:/opt/ghc/8.4.2/bin:$PATH # Get i386 GHC bindist for 32 bit CI builds. |