lint and travis

scripts/travis_runtest.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+make -f test.mk model_recover_10_10k || exit -1
+make -f test.mk model_recover_10_10k_die_same  || exit -1
+make -f test.mk local_recover_10_10k || exit -1
+make -f test.mk pylocal_recover_10_10k || exit -1
+make -f test.mk lazy_recover_10_10k_die_hard || exit -1
+make -f test.mk lazy_recover_10_10k_die_same || exit -1
+make -f test.mk ringallreduce_10_10k || exit -1

scripts/travis_script.sh

@@ -0,0 +1,22 @@
+#!/bin/bash
+
+# main script of travis
+if [ ${TASK} == "lint" ]; then
+    make lint || exit -1
+fi
+
+if [ ${TASK} == "doc" ]; then
+    make doc 2>log.txt
+    (cat log.txt|grep warning) && exit -1
+fi
+
+if [ ${TASK} == "build" ]; then
+    make all || exit -1
+fi
+
+if [ ${TASK} == "test" ]; then
+    cd test
+    make all || exit -1
+    ./travis_runtest.sh || exit -1
+fi
+