gnat community 2018

fixes #2

.travis.yml

@@ -1,12 +1,10 @@
-sudo: false
+sudo:true
+before_install:
+    - sudo apt-get update
+    - sudo apt-get update -y build-essential git wget libfontconfig1 libx11-xcb1
 before_script:
-    - wget http://mirrors.cdn.adacore.com/art/591c6d80c7a447af2deed1d7 -O /tmp/gnat.tar.bz2
-    - tar -C /tmp/ -xf /tmp/gnat.tar.bz2
-    - yes | /tmp/gnat-gpl-2017-x86_64-linux-bin/doinstall
-    - wget http://mirrors.cdn.adacore.com/art/592c5299c7a447388d5c991d -O /tmp/spark.tar.bz2
-    - tar -C /tmp/ -xf /tmp/spark.tar.bz2 
-    - cd /tmp/spark-discovery-gpl-2017-x86_64-linux-bin
-    - yes | ./doinstall
-    - cd -
+    - wget http://mirrors.cdn.adacore.com/art/5b0d7bffa3f5d709751e3e04 -O /tmp/gnat-community-2018-20180528-x86_64-linux-bin
+    - git clone https://github.com/AdaCore/gnat_community_install_script.git /tmp/gnat_community_install_script
+    - /tmp/gnat_community_install_script/install_package.sh /tmp/gnat-community-2018-20180528-x86_64-linux-bin /usr/local/gnat
 script:
-    - PATH=$PATH:/tmp/gnat-gpl-2017-x86_64-linux-bin/y/bin:/tmp/spark-discovery-gpl-2017-x86_64-linux-bin/y/bin gnatprove -P continuous_verification.gpr -j0 --report=all --level=2 --pedantic --warnings=error
+    - PATH=$PATH:/usr/local/gnat/bin gnatprove -P continuous_verification.gpr -j0 --report=all --level=2 --pedantic --warnings=error