diff options
| -rw-r--r-- | .travis-ci.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/.travis-ci.sh b/.travis-ci.sh index d65fcbc63..2955701ff 100644 --- a/.travis-ci.sh +++ b/.travis-ci.sh @@ -3,11 +3,13 @@ i386) ./configure make world.opt sudo make install - cd testsuite && make all + cd testsuite && make all && cd .. + mkdir external-packages + cd external-packages git clone git://github.com/ocaml/camlp4 - cd camlp4 && ./configure && make && sudo make install + cd camlp4 && ./configure && make && sudo make install && cd .. git clone git://github.com/ocaml/opam - cd opam && ./configure && make lib-ext && make && sudo make install + cd opam && ./configure && make lib-ext && make && sudo make install && cd .. 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 |