mirror of
https://github.com/PDP-10/its.git
synced 2026-01-13 07:19:57 +00:00
36 lines
733 B
YAML
36 lines
733 B
YAML
os:
|
|
- linux
|
|
- osx
|
|
language: c
|
|
dist: trusty
|
|
sudo: required
|
|
env:
|
|
- EMULATOR=simh BASICS=yes
|
|
- EMULATOR=klh10 BASICS=yes
|
|
- EMULATOR=pdp10-ka BASICS=yes
|
|
- EMULATOR=pdp10-kl BASICS=yes
|
|
matrix:
|
|
exclude:
|
|
- os: osx
|
|
env: EMULATOR=klh10 BASICS=yes
|
|
- os: osx
|
|
env: EMULATOR=pdp10-ka BASICS=yes
|
|
- os: osx
|
|
env: EMULATOR=pdp10-kl BASICS=yes
|
|
install: sh -ex build/dependencies.sh install_${TRAVIS_OS_NAME:-linux}
|
|
script: make check-dirs all
|
|
deploy:
|
|
provider: s3
|
|
access_key_id: "$AWS_ID"
|
|
secret_access_key: "$AWS_SECRET"
|
|
bucket: "$S3_BUCKET"
|
|
skip_cleanup: true
|
|
local_dir: out
|
|
acl: public_read
|
|
on:
|
|
branch: master
|
|
after_deploy:
|
|
- build/deploy.sh
|
|
notifications:
|
|
email: lars@nocrew.org
|