learnlib/.travis.yml at develop · thtomate/learnlib · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
language: java

dist: xenial

cache:
  directories:
  - $HOME/.m2
  - $HOME/ltsmin

before_cache:
  # do not cache our local archives
  - rm -rf $HOME/.m2/repository/net/automatalib/
  - rm -rf $HOME/.m2/repository/de/learnlib/

branches:
  only:
  - master
  - develop
  - release

env:
  global:
    - LTSMIN_VERSION=v3.1.0

before_install:
    # override any "sane" defaults of Travis VMs
  - cp ${TRAVIS_BUILD_DIR}/build-tools/travis-settings.xml ${HOME}/.m2/settings.xml
    # set Travis environment variables "AUTOMATALIB_FORK" and "AUTOMATALIB_BRANCH" to build custom AutomataLib versions.
    # Defaults are "LearnLib" and the current/targeted LearnLib branch ($TRAVIS_BRANCH, relies on the same naming
    # conventions between AutomataLib and LearnLib branches).
  - git clone -b ${AUTOMATALIB_BRANCH:-$TRAVIS_BRANCH} --single-branch https://github.com/${AUTOMATALIB_FORK:-LearnLib}/automatalib.git ${HOME}/automatalib-develop
  - cd ${HOME}/automatalib-develop
  - mvn install -DskipTests
  - cd ${TRAVIS_BUILD_DIR}

install:
  # install LTSmin
  - ${TRAVIS_BUILD_DIR}/build-tools/install-ltsmin.sh
  - PATH="$PATH:$HOME/ltsmin/$LTSMIN_VERSION/bin"

script: mvn install -B

jobs:
  fast_finish: true
  include:
    # Run code analysis and documentation generation only in our core environments (since it's an expensive task)
    - jdk: openjdk8
      script: mvn install site -B -Pintegration-tests,code-analysis,bundles
    - jdk: openjdk11
      script: mvn install site -B -Pintegration-tests,code-analysis,bundles
    # Run "integration" tests in other environments
    - stage: "Integration Tests"
      jdk: openjdk11
      env: MAVEN_OPTS="$MAVEN_OPTS -Dmaven.compiler.source=11 -Dmaven.compiler.target=11"
      install: true # Make sure we can build without LTSmin
    - os: osx
      # Don't explicitly set the jdk version (because the install script doesn't like some (EOL'd) versions) but use the
      # default installation of the osx_image (xcode9.3 -> oraclejdk8)
      osx_image: xcode9.3
    - os: osx
      # Don't explicitly set the jdk version (because the install script doesn't like some (EOL'd) versions) but use the
      # default installation of the osx_image (xcode10.1 -> oraclejdk11)
      osx_image: xcode10.1
#    - os: windows
#      jdk: oraclejdk8
#      language: shell
#      before_install:
#      - cinst jdk8 -params 'installdir=C:\\jdk8'
#      - export JAVA_HOME="C:\jdk8"
#      - export PATH=${JAVA_HOME}/bin:${PATH}
#      - cinst maven -params 'installdir=C:\\maven'
#    - os: windows
#      jdk: oraclejdk11
#      language: shell
#      before_install:
#      - cinst jdk11 -params 'installdir=C:\\jdk11'
#      - export JAVA_HOME="C:\jdk11"
#      - export PATH=${JAVA_HOME}/bin:${PATH}
#      - cinst maven -params 'installdir=C:\\maven'
    # Run coverage & deploy in default environment
    - stage: "Coverage & Deploy"
      name: Coverage
      jdk: openjdk8
      script:
        - mvn install -B -Pintegration-tests,code-coverage
        - mvn coveralls:report
    - name: Deploy
      jdk: openjdk8
      script: skip # skip regular build and define deployment in deploy phase, which is skipped for pull-requests
      deploy:
        provider: script
        script: mvn -B -DskipTests=true deploy
        on:
          branch: develop # only auto deploy snapshots