.travis.yml

language: java
jdk:
 - openjdk15

before_install:
# We specifically want 5.6.0 because that is what is included in Isabelle/jEdit
 - mkdir -p bin
 - wget -L https://sourceforge.net/projects/jedit/files/jedit/5.6.0/jedit_5.6.0_all.deb/download -O bin/jedit.deb
 - sudo dpkg -i bin/jedit.deb

script:
 - ant dist

# TODO add deployment configuration for travis
before_deploy:
  # Set up git user name and tag this commit
  - git config --local user.name "nielstron"
  - export TRAVIS_TAG=release-$(cat Vimulator.props | grep plugin.vimulator.VimulatorPlugin.version= | cut -d "=" -f 2)
  - git tag $TRAVIS_TAG
deploy:
  provider: releases
  api_key:
    secure: swEQSJ7SOu/5iwoahACigyL8Ue4oVygVFbjKt7Wh0YARlbOTYcr6wLI3BXlK/oWxGKD/LnFLKWAjrCfRw59HF+4Kz3abIufONzUjofP9UOaOBtlI7YGRhZY2UwKZshxiqBuKi25jLGb9p0d9r3vllzpXf/ocRv1eXMkTQgAJnPCz6xmVWQsW6aHdIF41IdRWebqGg2Kkh4HoYllfMQImu7M5YNcmNLK4unHmRvZrWadUrVJNNGV6nHwgXVNqmPZG5eJKqIhoa23GcEjQQmM+ExJ6fKUgt3CNzJMOlY08+V8mR5yW7Iv7yUcTE7tJT9j5Z1y0d8Nsawir6MmkzqUX2hPB2AgavJEm0H+wP58Tm3SEvqsR5u69wdn8ORPOq+fsyHfyogpkjiNthuGGqj/ocdxVMLjoUAjHXcOsDAZP4duD/JUGZoVKRbgPvXelxPQMeSfE/TcgxPxKweumKgmADD+r0oqppEIZSgMV8fmLj//SQPNSiS276pm+1WfSci+lLJaQZnkqQpsoxsOPq1o8TnYa3R6jV7tkIt0ws39m6Bp5bL7b1TQj8gk8WB7ROkn0aTrvZXJWrGSOqJrpFEqWleZp4rxl28nrLRx9XRZ/ZPVV7JCCk/aEt8LvIwXsnFgn67JVrrgb1I4POkX0BD7HGSuvQph7qNg4KC39C6mC09Q=
  file: "install/Vimulator.jar"
  skip_cleanup: true
  overwrite: false
  on:
    branch: master
    condition: $TRAVIS_EVENT_TYPE = push