-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
30 lines (29 loc) · 732 Bytes
/
.travis.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
sudo: required
dist: trusty
language: c
cache:
apt: true
directories:
- "$HOME/.opam"
install:
- sudo add-apt-repository --yes ppa:avsm/ppa
- sudo apt-get update -qq
- sudo apt-get install -qq -y opam
- opam init -y
- eval $(opam config env)
- opam config var root
- opam pin add camlp5 7.08
- travis_wait opam install -y coq
- opam list
script:
- ./scripts/generate_CoqProject.sh
- make -j4
- make html
- ./scripts/publish_documentation.sh || true
before_install:
- chmod 700 $HOME/.ssh
- openssl aes-256-cbc -K $encrypted_46ed5dbda677_key -iv $encrypted_46ed5dbda677_iv
-in ct_ghpages_id_rsa.enc -out $HOME/.ssh/id_rsa -d
- chmod 600 $HOME/.ssh/id_rsa
notifications:
webhooks: "https://sl.da.gd/travisci?channel=#dagd"