language: node_js
sudo: required
node_js: 10
env:
  - PATH=$HOME/purescript:$PATH
install:
  - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/v0.12.0/linux64.tar.gz
  - tar -xvf $HOME/purescript.tar.gz -C $HOME/
  - chmod a+x $HOME/purescript
  - npm install -g bower pulp
  - bower install
script:
  - travis_wait pulp build
  - travis_wait make run-example
  - travis_wait pulp test

cache:
  directories:
    - output

language: node_js
sudo: required
node_js: 10
env:
  - PATH=$HOME/purescript:$PATH
install:
  - npm install -g bower pulp purescript@0.14.0
  - npx bower install
script:
  - travis_wait npx pulp build
  - travis_wait make run-example
  - travis_wait npx pulp test

cache:
  directories:
    - output

Fix Travis script for PS 0.14
Fix Travis script for PS 0.14
