diff --git a/.travis.yml b/.travis.yml index 15be35f2f..5e655045c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -75,6 +75,11 @@ matrix: env: SWIGLANG=lua VER=5.3 sudo: required dist: trusty + - compiler: gcc + os: linux + env: SWIGLANG=ocaml + sudo: required + dist: trusty - compiler: gcc os: linux env: SWIGLANG=octave SWIGJOBS=-j2 # 3.8