circle.yml

# This is the configuration file for circleci.com (CI which builds the site)
machine:
  # Bug with GCC caused reliable builds to break: http://stackoverflow.com/a/34811594
  pre:
    - sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.6 20
    - sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-4.6 20
    - sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.9 10
    - sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-4.9 10
  ghc:
      version: 7.8.4

dependencies:
  override:
    - cabal update
    - cabal install --dependencies-only --avoid-reinstalls

# Compile pages during the test stage
test:
  post:
    - "make"
    - "make deploy"