diff --git a/.travis.yml b/.travis.yml index 37fead9..d75a718 100644 --- a/.travis.yml +++ b/.travis.yml @@ -2,13 +2,7 @@ language: node_js dist: trusty sudo: required node_js: stable -env: - - PATH=$HOME/purescript:$PATH install: - - TAG=$(wget -q -O - https://github.com/purescript/purescript/releases/latest --server-response --max-redirect 0 2>&1 | sed -n -e 's/.*Location:.*tag\///p') - - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz - - tar -xvf $HOME/purescript.tar.gz -C $HOME/ - - chmod a+x $HOME/purescript - npm install -g bower - npm install script: diff --git a/package.json b/package.json index 26f23e2..b908ebd 100644 --- a/package.json +++ b/package.json @@ -8,6 +8,7 @@ "eslint": "^6.0.1", "pulp": "^13.0.0", "purescript-psa": "^0.7.3", + "purescript": "^0.13.6", "rimraf": "^2.6.2" } }