.travis.yml

language: c
os: linux
dist:
    - xenial


addons:
    apt:
        update: true
        packages:
            - repo
            - git
            - make
            - gcc-arm-none-eabi
            - binutils-arm-none-eabi
            - python-pip
            - python3-pip
            - python-pyscard
            - python-crypto
            - openjdk-8-jdk
            - maven
            - ant
            - curl
            - python-sphinx
            - imagemagick
            - python-docutils
            - texlive-pictures
            - texlive-latex-extra
            - texlive-fonts-recommended
            - latexmk
            - ghostscript
            - zip
            - unzip
            - bash
            - wget

before_install:
    - sudo sed -i '/PDF/s/none/read|write/' /etc/ImageMagick-6/policy.xml
    - pip install --user intelhex
    - sudo pip3 install kconfiglib
    - wget -O /tmp/gnat-community-2018-20180524-arm-elf-linux64-bin https://community.download.adacore.com/v1/6696259f92b40178ab1cc1d3e005acf705dc4162?filename=gnat-community-2019-20190517-arm-elf-linux64-bin
    - chmod +x /tmp/gnat-community-2018-20180524-arm-elf-linux64-bin
    - git clone https://github.com/AdaCore/gnat_community_install_script.git /tmp/gnat_install
    - /tmp/gnat_install/install_package.sh /tmp/gnat-community-2018-20180524-arm-elf-linux64-bin /opt/adacore-arm-eabi
    - curl -s "https://get.sdkman.io" -o /tmp/sdk
    - chmod +x /tmp/sdk
    - /tmp/sdk
    - sudo bash -c ". $HOME/.sdkman/bin/sdkman-init.sh && sdk install maven 3.6.1"

# let's sync and build for disco407, wookey, and build doc
jobs:
    include:
        - stage: wookey
          script:
              - mkdir build && cd build
              - export PATH=/opt/adacore-arm-eabi/bin:/usr/local/bin:$PATH
              - git config --global color.ui true
              - repo init -u https://github.com/wookey-project/manifest.git -m soft/wookey_nightly.xml && repo sync
              - echo 'CROSS_COMPILE=arm-eabi-' > setenv.local.sh
              - if [ "$TRAVIS_EVENT_TYPE" = "pull_request" ]; then cd libs/sd && git fetch github refs/pull/${TRAVIS_PULL_REQUEST}/head && git checkout FETCH_HEAD; cd ../..; fi
              - source setenv.sh
              - make boards/wookey/configs/wookey2_graphic_ada_hs_defconfig
              - make
        - stage: doc
          script: make doc

notifications:
  email:
    recipients:
      - wookey@ssi.gouv.fr
    on_success: never
    on_failure: always
    on_pull_requests: always