use Travis Julia support to get a modern Julia version (#146)

use Travis include: to specify Julia version
This commit is contained in:
Steven G. Johnson 2019-03-30 13:17:21 -04:00 committed by GitHub
parent 3c37219d1a
commit 089a3af7ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,14 +1,13 @@
language: c
compiler:
- gcc
- clang
language: julia
julia:
- 1.1
notifications:
email: false
include:
- language: julia
julia: 1.1
before_install:
- sudo add-apt-repository ppa:staticfloat/julia-deps -y
- sudo add-apt-repository ppa:staticfloat/juliareleases -y
- sudo apt-get update -qq -y
- sudo apt-get install libpcre3-dev julia fontforge -y
- sudo apt-get install fontforge -y
script:
- make manifest && diff MANIFEST.new MANIFEST
- make check
@ -16,7 +15,3 @@ script:
- make clean && git status --ignored --porcelain && test -z "$(git status --ignored --porcelain)"
- (mkdir build_static && cd build_static && cmake .. -DCMAKE_VERBOSE_MAKEFILE=ON && make)
- (mkdir build_shared && cd build_shared && cmake .. -DCMAKE_VERBOSE_MAKEFILE=ON -DBUILD_SHARED_LIBS=ON && make)
env:
# use JuliaLang caching (https://github.com/staticfloat/cache.julialang.org)
# so that Travis builds do not depend on anyone's flaky servers but our own
- URLCACHE=https://cache.julialang.org/ CFLAGS="-O2 -Werror -Wmissing-prototypes"