Merge pull request #445 from chambart/travis_build_ocamlnat

GPR#445: Travis build ocamlnat
2016-02-01 16:46:43 +00:00 · 2016-02-01 16:46:43 +00:00 · 58b4ae89d4
parent c32f981147 869dc5b26a
commit 58b4ae89d4
1 changed files with 1 additions and 0 deletions
--- a/.travis-ci.sh
+++ b/.travis-ci.sh
@ -32,6 +32,7 @@ EOF
    ./configure --prefix $PREFIX -with-debug-runtime -with-instrumented-runtime
    export PATH=$PREFIX/bin:$PATH
    make world.opt
+    make ocamlnat
    make install
    (cd testsuite && make all)
    (cd testsuite && make USE_RUNTIME="d" all)