diff --git a/.buildbot b/.buildbot new file mode 100755 index 0000000..1fb7733 --- /dev/null +++ b/.buildbot @@ -0,0 +1,35 @@ +#!/bin/bash + +set -e + +do_build() +{ + make config-default + make +} + +do_test() +{ + make config-debug + make check +} + +do_coverage() +{ + make config-coverage + make coverage-report + cp -r ./build/coverage/html/ ./buildbot-coverage-results/ +} + +do_docs() +{ + doxygen ./doxygen.config + cp -r ./doxygen/html/ ./buildbot-docs/ +} + +case $1 in + "build") do_build ;; + "test") do_test ;; + "coverage") do_coverage ;; + "docs") do_docs ;; +esac