summaryrefslogtreecommitdiff
path: root/.travis.yml
blob: a66bf6edc22190a08cd65635ebee3030115c7bb1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
#**************************************************************************
#*                                                                        *
#*                                 OCaml                                  *
#*                                                                        *
#*              Anil Madhavapeddy, OCaml Labs                             *
#*                                                                        *
#*   Copyright 2014 Institut National de Recherche en Informatique et     *
#*     en Automatique.                                                    *
#*                                                                        *
#*   All rights reserved.  This file is distributed under the terms of    *
#*   the GNU Lesser General Public License version 2.1, with the          *
#*   special exception on linking described in the file LICENSE.          *
#*                                                                        *
#**************************************************************************

dist: xenial
sudo: false
language: c
git:
  submodules: false
script:
  - >
    mkdir ~/inst && ./configure --prefix ~/inst --enable-debug-runtime &&
    make -j4 world.opt &&
    OCAMLRUNPARAM=v=0,V=1 make -C testsuite all-enabled

# For speed, only run a few compiler/OS combinations
matrix:
  include:
  - compiler: gcc
    os: linux
    env:
    - USE_RUNTIME: d
  - compiler: clang
    os: osx