diff options
author | Steven G. Johnson <stevenj@mit.edu> | 2019-03-30 13:17:21 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-30 13:17:21 -0400 |
commit | 089a3af7eee09a7b0613b01a9d3dd739936988e0 (patch) | |
tree | 301f1e910f91ff4623c38a6727b86f3ff2c5a33b | |
parent | 3c37219d1a408ac99236bd9603580b7bede5fe8b (diff) | |
download | libutf8proc-089a3af7eee09a7b0613b01a9d3dd739936988e0.tar.gz libutf8proc-089a3af7eee09a7b0613b01a9d3dd739936988e0.tar.bz2 |
use Travis Julia support to get a modern Julia version (#146)
use Travis include: to specify Julia version
-rw-r--r-- | .travis.yml | 19 |
1 files changed, 7 insertions, 12 deletions
diff --git a/.travis.yml b/.travis.yml index 7a53b59..60385b1 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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" |