Commit 283eb1a0 authored by Mathieu Boespflug's avatar Mathieu Boespflug Committed by Joachim Breitner
Browse files

Initial CircleCI support.

parent ced2cb5e
version: 2
working_directory: ~/ghc
- image: haskell:8
resource_class: xlarge
- run:
name: git
command: |
apt-get update
apt-get install -y git openssh-client make automake autoconf gcc perl python3
- checkout
- run:
name: submodules
command: |
# Use for those submodule repositories we couldn't connect to.
git config remote.origin.url git://
git config --global url."git://".insteadOf git://
git submodule init # Don't be quiet, we want to show these urls.
git submodule --quiet update --recursive # Now we can be quiet again.
- run:
name: build
command: |
echo 'BUILD_SPHINX_HTML = NO' >> mk/
echo 'BUILD_SPHINX_PDF = NO' >> mk/
THREADS=8 SKIP_PERF_TESTS=YES VERBOSE=2 ./validate --fast --quiet
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment