Skip to content

Commit

Permalink
temporary commit to make travis happy: opam pin camlp4
Browse files Browse the repository at this point in the history
  • Loading branch information
hhugo committed May 11, 2015
1 parent 36426fb commit 18c0f8a
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .travis-ci.sh
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@ i386)
git config --global user.email "some@name.com"
git config --global user.name "Some Name"
opam init -y -a git://github.com/ocaml/opam-repository
opem pin add --no-action -y camlp4 git://github.com/hhugo/camlp4#lex1
opam install -y oasis
opam pin add -y utop git://github.com/diml/utop
;;
Expand Down

0 comments on commit 18c0f8a

Please sign in to comment.