urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-11-24 04:58:08 +03:00
Code Issues Packages Projects Releases Wiki Activity

Use binary ninja.

Browse Source
This commit is contained in:
mikolajp 2018-02-25 15:27:27 +08:00
parent 423d1a1b77
commit 83fa6161bf
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.travis.yml
View File

@ -6,6 +6,10 @@ script: meson build && cd ./build && ninja
# 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:
- pip3 install --user meson
@ -18,13 +22,13 @@ addons:
- libuv-dev
- libssl-dev
- libncurses5-dev
- ninja-build
- g++
- ragel
- re2c
- libcurl4-gnutls-dev
- python3
- python3-pip
- unzip
# before_deploy: "make deb" # TODO
deploy:
skip_cleanup: true