mirror of
https://github.com/urbit/shrub.git
synced 2024-12-30 15:44:03 +03:00
58 lines
1.1 KiB
YAML
58 lines
1.1 KiB
YAML
dist: xenial
|
|
language: node_js
|
|
node_js:
|
|
- 4
|
|
|
|
# Uncomment me if this gets annoying
|
|
#
|
|
# 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/
|
|
|
|
install:
|
|
# pwd: ~/urbit
|
|
- pip3 install --user -I meson==0.44.1
|
|
|
|
script:
|
|
- meson . ./build --buildtype=debugoptimized -Dgc=true -Dprof=true
|
|
- cd ./build
|
|
- ninja
|
|
- ninja test
|
|
- sudo ninja install
|
|
- cd ../.travis
|
|
- npm install
|
|
- ulimit -c unlimited -S
|
|
- npm run -s test; bash print-core-backtrace.sh $?
|
|
|
|
addons:
|
|
apt:
|
|
packages:
|
|
- python3
|
|
- python3-pip
|
|
- python3-setuptools
|
|
- python3-wheel
|
|
- libgmp3-dev
|
|
- libsigsegv-dev
|
|
- openssl
|
|
- libssl-dev
|
|
- libncurses5-dev
|
|
- gcc
|
|
- libcurl4-gnutls-dev
|
|
- unzip
|
|
- gdb
|
|
# before_deploy: "make deb" # TODO
|
|
# deploy:
|
|
# skip_cleanup: true
|
|
# provider: releases
|
|
# prerelease: true # turn this off for official releases
|
|
# api_key:
|
|
# secure: XX
|
|
# file: ./build/urbit # TODO upload package from before_deploy
|
|
# on:
|
|
# repo: urbit/urbit
|
|
# tags: true
|