diff --git a/.travis.yml b/.travis.yml index 629ff99c..0d7374e5 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,10 +1,8 @@ language: eiffel before_script: - export current_dir=$PWD ; echo current_dir=$current_dir ; cd .. - - export ISE_VERSION=17.05; export ISE_BUILD=100416 - - curl -sSL http://downloads.sourceforge.net/eiffelstudio/Eiffel_${ISE_VERSION}_gpl_${ISE_BUILD}-linux-x86-64.tar.bz2 | tar -x --bzip2 - - export ISE_EIFFEL=$PWD/Eiffel_${ISE_VERSION} ; export ISE_PLATFORM=linux-x86-64 - - export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin:$PATH:$ISE_EIFFEL/tools/spec/$ISE_PLATFORM/bin + - curl -sSL https://www.eiffel.org/setup/install.sh | bash + - source eiffel_latest.rc - echo `ec -version` - cd $current_dir - echo Check projects compilation status...