language: generic

matrix:
  include:
    - os: linux
      services:
        - docker
      script:
        - |
          cat <<-EOF | docker run -i ubuntu bash -
          set -e
          export DEBIAN_FRONTEND=noninteractive
          echo installing haskell platform
          apt-get update -qq && apt-get install -qq git curl haskell-platform
          git clone https://github.com/asdf-vm/asdf.git
          . asdf/asdf.sh
          asdf plugin-test idris https://github.com/vic/asdf-idris.git 'idris --help'
          EOF

    - os: osx
      before_script:
        - git clone https://github.com/asdf-vm/asdf.git
        - . asdf/asdf.sh
      script:
        - asdf plugin-test idris https://github.com/vic/asdf-idris.git 'idris --help'

    - os: osx
      env: ASDF_IDRIS_INSTALL=cabal
      before_script:
        - brew install cabal-install
        - git clone https://github.com/asdf-vm/asdf.git
        - . asdf/asdf.sh
      script:
        - asdf plugin-test idris https://github.com/vic/asdf-idris.git 'idris --help'

language: generic

matrix:
  include:
    - os: linux
      services:
        - docker
      script:
        - |
          cat <<-EOF | docker run -i ubuntu bash -
          set -e
          export DEBIAN_FRONTEND=noninteractive
          echo installing haskell platform
          apt-get update -qq && apt-get install -qq git curl haskell-platform build-essential
          git clone https://github.com/asdf-vm/asdf.git
          . asdf/asdf.sh
          asdf plugin-test idris https://github.com/vic/asdf-idris.git 'idris --help'
          EOF

    - os: osx
      before_script:
        - git clone https://github.com/asdf-vm/asdf.git
        - . asdf/asdf.sh
      script:
        - asdf plugin-test idris https://github.com/vic/asdf-idris.git 'idris --help'

    - os: osx
      env: ASDF_IDRIS_INSTALL=cabal
      before_script:
        - brew install cabal-install
        - git clone https://github.com/asdf-vm/asdf.git
        - . asdf/asdf.sh
      script:
        - asdf plugin-test idris https://github.com/vic/asdf-idris.git 'idris --help'

Install build-essential on linux test
Install build-essential on linux test
