View .travis.yml
# Ruby is our language as asciidoctor is a ruby gem. | |
lang: ruby | |
before_install: | |
- sudo apt-get install pandoc | |
- gem install asciidoctor | |
script: | |
- make | |
after_success: | |
- .travis/push.sh | |
env: |
View picosat_additions.h
/* Turn off features that will not work on Windows. | |
*/ | |
#define NGETRUSAGE | |
#define NALLSIGNALS |