diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 0000000000000000000000000000000000000000..6b0d40f6719bdb75c0dd31f66967533b34acba88 --- /dev/null +++ b/.travis.yml @@ -0,0 +1,36 @@ +# This script is adapted from https://github.com/AdaCore/Ada_Drivers_Library +# Thanks to AdaCore for providing it +# We are using Python 2.7 to run the testsuite +language: python +python: + - "2.7" + +# Global variables +env: + global: + - TOOLS_DIR=$HOME/build_tools + - GNAT_TAR_PATH=$TOOLS_DIR/gnat-gpl-2016-x86_64-linux-bin.tar.gz + +os: + - linux + +# Cache directory that allows us to not download GNAT GPL every time, speeding +# up the process. +cache: + directories: + - $HOME/build_tools + +install: + # Check if the GNAT package is already available in the cache directory. If + # not, download it. + - test -f $GNAT_TAR_PATH ||( mkdir -p $TOOLS_DIR && wget http://mirrors.cdn.adacore.com/art/5739cefdc7a447658e0b016b -O $GNAT_TAR_PATH) + + # Extract GNAT from its package + - tar -xf $GNAT_TAR_PATH + + # Add GNAT to $PATH + - export PATH=$PATH:$PWD/gnat-gpl-2016-x86_64-linux-bin/bin/ + +script: + # Just build + - ./support/reconfig && ./configure && make