@@ -4,6 +4,12 @@ sudo: required
4node_js: stable
4node_js: stable
6 - PATH=$HOME/purescript:$PATH
6 - PATH=$HOME/purescript:$PATH
10+ - LC_MEASUREMENT=en_GB.utf8
11+ - LC_NUMERIC=en_GB.utf8
12+ - LC_MONETARY=en_GB.utf8
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')
14 - 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
15 - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz