This is an automated email from the ASF dual-hosted git repository. yulongzhang pushed a commit to branch ci in repository https://gitbox.apache.org/repos/asf/incubator-teaclave-verification.git
commit 9178b89699b458dea0e45e3b76df6c8367e8c808 Author: Yulong Zhang <[email protected]> AuthorDate: Tue Mar 16 21:25:40 2021 -0700 Add CI conf file --- .travis.yml | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 0000000..194e00b --- /dev/null +++ b/.travis.yml @@ -0,0 +1,25 @@ +language: generic + +sudo: false + +env: + global: + - INSTALL_DIR: $HOME/.local + - ISABELLE_VERSION: Isabelle2021 + - ISABELLE_TARBALL: ${ISABELLE_VERSION}_linux.tar.gz + - ISABELLE_URL: http://isabelle.in.tum.de/dist/${ISABELLE_TARBALL} + - ISABELLE_DIR: ${INSTALL_DIR}/${ISABELLE_VERSION} + - ISABELLE: ${ISABELLE_DIR}/bin/isabelle + +cache: + directories: + - ${INSTALL_DIR} + - $HOME/.isabelle + +before_install: + - mkdir -p ${INSTALL_DIR} + - test -e $ISABELLE || { wget ${ISABELLE_URL} && tar -C ${INSTALL_DIR}/ -xzf ${ISABELLE_TARBALL}; } + +install: true + +script: $ISABELLE build -d access_control_module AccessControlModule --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
