File tree Expand file tree Collapse file tree 3 files changed +11
-6
lines changed Expand file tree Collapse file tree 3 files changed +11
-6
lines changed Original file line number Diff line number Diff line change @@ -2,7 +2,13 @@ language: node_js
22dist : trusty 
33sudo : required 
44node_js : 6 
5+ env :
6+   - PATH=$HOME/purescript:$PATH 
57install :
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 
612  - npm install -g bower 
713  - npm install 
814  - bower install --production 
Original file line number Diff line number Diff line change 1212    "url" : " git://github.com/purescript-node/purescript-node-url.git" 
1313  },
1414  "dependencies" : {
15-     "purescript-nullable" : " #compiler/0.12 " 
15+     "purescript-nullable" : " ^4.0.0 " 
1616  }
1717}
Original file line number Diff line number Diff line change 77  },
88  "devDependencies" : {
99    "jscs" : " ^3.0.7"  ,
10-     "jshint" : " ^2.9.4"  ,
11-     "pulp" : " ^11.0.0"  ,
12-     "purescript" : " ^0.11.1"  ,
13-     "purescript-psa" : " ^0.5.0"  ,
14-     "rimraf" : " ^2.6.1" 
10+     "jshint" : " ^2.9.5"  ,
11+     "pulp" : " ^12.2.0"  ,
12+     "purescript-psa" : " ^0.6.0"  ,
13+     "rimraf" : " ^2.6.2" 
1514  }
1615}
    
 
   
 
     
   
   
          
     
  
    
     
 
    
      
     
 
     
    You can’t perform that action at this time.
  
 
    
  
     
    
      
        
     
 
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments