# ICFPC 2016

## Configuration for CI Services

### Codeship

Set up commands:

```sh
jdk_switcher home oraclejdk8
jdk_switcher use oraclejdk8
if [ ! -x ~/bazel-0.3.0/output/bazel ]; then rm -rf bazel-0.3.0 || true; fi && if [ ! -d ~/bazel-0.3.0 ]; then pushd ~ && git clone --depth=1 -b 0.3.0 https://github.com/bazelbuild/bazel.git bazel-0.3.0 && cd bazel-0.3.0 && EXTRA_BAZEL_ARGS='' ./compile.sh && popd; fi
echo 'startup --batch' > ~/.bazelrc && echo 'build --spawn_strategy=standalone --genrule_strategy=standalone --package_path %workspace%:/home/ubuntu/bazel-0.3.0/base_workspace' >> ~/.bazelrc
pushd ~ && mkdir -p ~/bin && ln -s ~/bazel-0.3.0/output/bazel ~/bin/bazel && popd
timeout 600 make prebuild
```

Test commands:

```sh
timeout 120 make test
```

Add documentation to set up codeship.
Add documentation to set up codeship.
