mirror of
https://git.rwth-aachen.de/acs/public/villas/node/
synced 2025-03-16 00:00:02 +01:00
29 lines
434 B
YAML
29 lines
434 B
YAML
language: c
|
|
compiler: gcc
|
|
|
|
addons:
|
|
apt:
|
|
packages:
|
|
- zlib1g-dev
|
|
- libbind4-dev
|
|
- dia
|
|
- graphviz
|
|
- texlive-font-utils
|
|
|
|
cache:
|
|
apt: true
|
|
directories:
|
|
- thirdparty
|
|
|
|
install:
|
|
- if ! [ -d thirdparty/usr/ ]; then
|
|
make dependencies;
|
|
fi
|
|
|
|
script:
|
|
- make build
|
|
|
|
after_success:
|
|
- echo -e "Host ${DEPLOY_HOST}\n\tStrictHostKeyChecking no\n" >> ~/.ssh/config
|
|
- make doc
|
|
- make deploy
|