Skip to content

Commit

Permalink
fix(.travis.yml): use sudo for installing npm packages
Browse files Browse the repository at this point in the history
  • Loading branch information
soonhokong committed Jun 9, 2016
1 parent c7ec9ea commit ce83e78
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,7 @@ addons:
- pgf
- moreutils
- nodejs
- npm
- g++-5
- libstdc++-5-dev
- libgmp-dev
Expand All @@ -50,7 +51,6 @@ before_install:

install:
# Install Lean dependencies
- npm -g i cssmin minify
- git clone https://github.com/leanprover/lean
# Build Lean
- if [[ $TEST == TRUE ]] ; then
Expand All @@ -66,6 +66,7 @@ install:
- tar xvfz bibtex2html-1.98-linux.tar.gz
- cp -v bibtex2html-1.98-linux/* ~/bin
- rm -rf bibtex2html-1.98-linux bibtex2html-1.98-linux.tar.gz
- sudo npm -g i cssmin minify

script:
- EMACS_BIN=emacs make
Expand Down

0 comments on commit ce83e78

Please sign in to comment.