2018-11-06 07:14:33 +03:00
|
|
|
language: node_js
|
|
|
|
node_js:
|
|
|
|
- 4
|
|
|
|
|
|
|
|
script:
|
|
|
|
- meson . ./build --buildtype=debugoptimized -Dgc=true -Dprof=true
|
|
|
|
- cd ./build
|
|
|
|
- ninja
|
|
|
|
- sudo ninja install
|
|
|
|
- cd ../.travis
|
2018-11-06 08:16:26 +03:00
|
|
|
- ulimit -c unlimited -S
|
2018-11-06 07:14:33 +03:00
|
|
|
- npm install
|
2018-11-06 08:16:26 +03:00
|
|
|
# || true so we continue
|
|
|
|
- npm run -s test || RESULT=$?
|
|
|
|
- if [[ ${RESULT} -eq 0 ]]; then exit 0; else for i in $(find ./ -maxdepth 1 -name 'core*' -print); do gdb urbit core* -ex "thread apply all bt" -ex "set pagination 0" -batch; done; fi;
|
|
|
|
- echo "build failed with status code $RESULT"
|
|
|
|
- exit $RESULT
|
2017-06-14 04:32:37 +03:00
|
|
|
|
|
|
|
# Uncomment me if this gets annoying
|
|
|
|
#
|
2018-03-20 20:16:16 +03:00
|
|
|
# notifications:
|
|
|
|
# email: false
|
|
|
|
|
|
|
|
before_install:
|
|
|
|
- wget https://github.com/ninja-build/ninja/releases/download/v1.8.2/ninja-linux.zip
|
|
|
|
- unzip ninja-linux.zip
|
|
|
|
- sudo mv ninja /usr/bin/
|
2018-11-06 07:14:33 +03:00
|
|
|
|
2018-03-20 20:16:16 +03:00
|
|
|
install:
|
2018-11-06 07:14:33 +03:00
|
|
|
# pwd: ~/urbit
|
2018-03-20 20:16:16 +03:00
|
|
|
- pip3 install --user -I meson==0.44.1
|
2018-11-06 07:14:33 +03:00
|
|
|
- git clone https://github.com/urbit/arvo
|
|
|
|
- cd ./arvo
|
|
|
|
- git checkout $(cat ../.travis/pin-arvo-commit.txt)
|
|
|
|
- cd ..
|
2017-06-14 04:32:37 +03:00
|
|
|
|
|
|
|
addons:
|
|
|
|
apt:
|
|
|
|
packages:
|
2018-03-20 20:16:16 +03:00
|
|
|
- python3
|
|
|
|
- python3-pip
|
2017-06-14 04:32:37 +03:00
|
|
|
- libgmp3-dev
|
|
|
|
- libsigsegv-dev
|
|
|
|
- openssl
|
|
|
|
- libssl-dev
|
|
|
|
- libncurses5-dev
|
2018-02-25 10:47:16 +03:00
|
|
|
- automake
|
|
|
|
- autoconf
|
2018-03-20 20:16:16 +03:00
|
|
|
- make
|
2018-02-25 10:47:16 +03:00
|
|
|
- libtool
|
2017-06-14 04:32:37 +03:00
|
|
|
- g++
|
|
|
|
- re2c
|
|
|
|
- libcurl4-gnutls-dev
|
2018-03-20 20:16:16 +03:00
|
|
|
- unzip
|
2018-11-06 08:16:26 +03:00
|
|
|
- gdb
|
2017-12-01 05:58:59 +03:00
|
|
|
# before_deploy: "make deb" # TODO
|
2017-12-01 05:50:27 +03:00
|
|
|
deploy:
|
2017-12-01 06:25:42 +03:00
|
|
|
skip_cleanup: true
|
2017-12-01 05:50:27 +03:00
|
|
|
provider: releases
|
2017-12-05 02:47:16 +03:00
|
|
|
prerelease: true # turn this off for official releases
|
2017-12-01 05:50:27 +03:00
|
|
|
api_key:
|
2017-12-05 02:47:16 +03:00
|
|
|
secure: V4E7784ECSS3MO6ZIRtang9XwibDyvDYGb0MoSaP2CTlmzIAhdokr4KJFM0qM4KRaaajCdQuqi0lojgOjwdxs7e0GkAwScb33LFxQ7Chj/QkFOY7V1AnSRLR5OsXnazB0nur5aSwvcvnggQ2XW3OeF7zIvGfs9aR97SEz/xCrVE=
|
2018-03-20 20:16:16 +03:00
|
|
|
file: ./build/urbit # TODO upload package from before_deploy
|
2017-12-01 05:50:27 +03:00
|
|
|
on:
|
2017-12-05 02:47:16 +03:00
|
|
|
repo: urbit/urbit
|
|
|
|
tags: true
|