mirror of
https://github.com/urbit/shrub.git
synced 2024-11-28 13:54:20 +03:00
7894810906
git-subtree-dir: outside/commonmark git-subtree-split: cfb756f918aad3ef7714f75a06210e564ecb90f9
20 lines
379 B
YAML
20 lines
379 B
YAML
language: c
|
|
|
|
compiler:
|
|
- gcc
|
|
- clang
|
|
|
|
before_install:
|
|
- sudo apt-get update -qq
|
|
- sudo apt-get install -qq libgmp3-dev libsigsegv-dev openssl libssl-dev libncurses5-dev git make exuberant-ctags
|
|
|
|
before_script:
|
|
- echo "export URBIT_HOME=`pwd`/urb" >>~/.bash_profile
|
|
- make
|
|
|
|
script: "make"
|
|
|
|
notifications:
|
|
on_success: change
|
|
on_failure: always
|