@@ -1,18 +0,0 @@
1−language: node_js
2−dist: trusty
3−sudo: required
4−node_js: stable
5−env:
6− - PATH=$HOME/purescript:$PATH
7−install:
8− - 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')
9− - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
10− - tar -xvf $HOME/purescript.tar.gz -C $HOME/
11− - chmod a+x $HOME/purescript
12− - npm install -g bower
13− - npm install
14−script:
15− - bower install --production
16− - npm run -s build
17− - bower install
18− - npm -s test