forked from ocaml/ocaml
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
56 lines (54 loc) · 1.97 KB
/
.travis.yml
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
#**************************************************************************
#* *
#* 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: tools/ci/travis/travis-ci.sh
matrix:
include:
- env: CI_KIND=build XARCH=x64 CONFIG_ARG=--enable-flambda OCAMLRUNPARAM=b,v=0
- env: CI_KIND=build XARCH=i386 CONFIG_ARG=--disable-stdlib-manpages
addons:
apt:
packages:
- gcc:i386
- cpp:i386
- binutils:i386
- binutils-dev:i386
- libx11-dev:i386
- libc6-dev:i386
- env: CI_KIND=build XARCH=x64
addons:
apt:
packages:
- texlive-latex-extra
- texlive-fonts-recommended
- env: CI_KIND=build XARCH=x64 CONFIG_ARG=--disable-shared
- env: CI_KIND=build XARCH=x64 MIN_BUILD=1
- env: CI_KIND=changes
- env: CI_KIND=manual
- env: CI_KIND=check-typo
# - env: CI_KIND=tests
# allow_failures:
# - env: CI_KIND=tests
addons:
apt:
packages:
- binutils-dev
notifications:
email:
- ocaml-ci-notifications@inria.fr