Cleanup 'obsolete' packages

.travis-ci.sh

@@ -110,11 +110,8 @@ function build_one {
     depext=$(opam depext -ls $pkg --no-sources)
     opam depext $pkg
     echo
-    echo "====== Installing dependencies ======"
-    opam install --deps-only $pkg
-    echo
     echo "====== Installing package ======"
-    opam install -t $pkg
+    opam install $pkg
     opam remove -a ${pkg%%.*}
     if [ "$depext" != "" ]; then
       case $TRAVIS_OS_NAME in

.travis.yml

@@ -6,9 +6,6 @@ dist: trusty
 sudo: required
 matrix:
   include:
-  - os: osx
-    osx_image: xcode7.3
-    env: OCAML_VERSION=4.06 OPAM_VERSION=1.2.2
   - os: linux
     env: OCAML_VERSION=4.06 OPAM_VERSION=1.2.2
   - os: linux
@@ -25,6 +22,9 @@ matrix:
     env: OCAML_VERSION=4.00 OPAM_VERSION=1.2.2
   - os: linux
     env: OCAML_VERSION=3.12 OPAM_VERSION=1.2.2
+  - os: osx
+    osx_image: xcode7.3
+    env: OCAML_VERSION=4.06 OPAM_VERSION=1.2.2
 notifications:
   email:
   - [email protected]