blob: 0e5145065a009458acb61e93c64a01132e75f4b4 (
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
#**************************************************************************
#* *
#* 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: bionic
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-multilib
- 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=build
XARCH=x64
CONFIG_ARG=--enable-dependency-generation
MAKE_ARG=-j
- env: CI_KIND=check-depend
- 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
|
