286a9397b8
Inria CI fix
...
The step-by-step-build job should stop on errors
2020-11-25 10:50:11 +01:00
a93a564301
Inria CI: give the other-configs job a more realistic timeout
...
Now that it could be verified that the timeout works (the job was
rightfully aborted by Jenkins after 2 minutes), set its timeout to a more
realistic value, namely 45 minutes.
2020-11-24 17:53:55 +01:00
c4e77cd91d
Inria CI: second tentative fix for the other-configs pipeline
2020-11-24 17:45:35 +01:00
250e6fbdc7
Typo fix
2020-11-24 17:11:43 +01:00
8ae80218a9
Inria CI: tentative fix for the other-configs job
2020-11-24 17:07:01 +01:00
f6279a64b5
Switch the compiler CI builds from Travis to GitHub actions ( #10036 )
...
* Switch compiler builds and tests to GitHub actions
* Expose ${cc} in ocamltest
* Allow lib-bigarray-2/bigarrfml.ml to run on 32-bit
* Simplify environment variables passed to scripts
* Reduce matrix to 3 builds
* Move minimum build into Jenkins other-configs
2020-11-24 14:16:31 +01:00
d910c35301
Add a test for --enable-reserved-header-bits
2020-10-09 14:51:00 +02:00
ceb13a273c
Inria CI: use a timeout, take #2
...
Let's try with a very short timeout, to make sure the job will exceed it.
2020-09-17 18:39:09 +02:00
fb0b2c5cd1
Inria CI: add timeouts to pipeline jobs
2020-09-16 11:57:54 +02:00
c3f6cd7ff7
Merge remote-tracking branch 'upstream/trunk' into trunk
2020-09-11 14:14:38 +01:00
fc101ae849
Rename tools/unlabel --> tools/sync_stdlib_docs
2020-09-10 19:17:43 +01:00
d9a3ad413f
Notify only on regressions for Inria CI's other-configs job
2020-08-14 17:01:58 +02:00
7b2689b8a0
Define Inria CI's other-configs job as a Jenkins pipeline, take #2
2020-08-14 15:50:25 +02:00
b1ffaf6008
Define Inria CI's other-configs job as a Jenkins pipeline, take #1
2020-08-14 14:39:33 +02:00
e05fc92d12
Notify only on regressions for Inria CI's Risc-V job
2020-08-13 19:08:07 +02:00
5cdc8072be
Define Inria CI's Risc-V job as a Jenkins pipeline, take #1
2020-08-13 14:44:06 +02:00
2f16b98a8d
Notify only on regressions for Inria CI's bootstrap job
2020-08-13 14:17:53 +02:00
d0d8acecb0
Use a pipeline to define the bootstrap Jenkins job, take #1
2020-08-13 11:18:10 +02:00
a12bf04282
Make the sanitizers and step-by-step-build CI jobs less verbose
...
Now that these jobs work, make them report only regressions
2020-08-11 17:47:50 +02:00
5acc76eb07
tools/ci/inria/step-by-step-build/script: fixes
2020-08-11 16:57:34 +02:00
541ade530f
Split the extra-checks job, take #2
2020-08-11 16:51:35 +02:00
c89c464746
Split Inria CI's extra-checks job, take #1
...
This job did actually do two different things:
1. Check that the compiler can be built without the world.opt target
2. Run sanitizers
This commit thus splits the extra-checks job into two separate
ones that are defined as Jenkins pipeline jobs named sanitizers and
step-by-step-build.
2020-08-11 16:03:27 +02:00
697242f4b2
dune-build: send e-mails only for regressions
2020-08-11 14:49:38 +02:00
756f6393bf
Always report failures of Inria CI's dune-build job
...
For the time being, let's report all the failures of this job
and not only its regressions.
2020-08-11 10:38:27 +02:00
13a500f3dd
tools/ci/inria/README.md: typographical improvements
2020-08-11 09:19:57 +02:00
a59b147f51
Inria CI: define the dune-build job as a Jenkins pipeline
2020-08-10 15:52:40 +02:00
bc62faec7b
Introduce the check-typo Jenkins pipeline
2020-08-10 15:08:57 +02:00
7c0623b33e
Simplify the tools/ci/inria/extra-checks script
...
Use the ability to pass flags to the C compiler at configure time
to simplify this CI script.
Looking at the diff, it may seem that some flags like -fwrapv,
-fno-strict-aliasing, -Wall and -Werror got lost by this commit.
It is actually not the case. In its previous version, this script was
overriding the flags as defined by the compiler's build system, so it
had to provide a rather exhaustive list of flags. Now one only needs to
add the flags specific to the build one wishes to do. The flags mentionned above*
are provided by the compiler's build system so they do not need to be mentionned
here any longer.
2020-08-06 14:31:09 +02:00
bf888763cd
tools/ci/inria/extra-checks: stop mentionning the world target
...
This change is similar to the one in commit 2d927d8be6
2020-08-03 16:44:23 +02:00
f3e7475b6a
tools/ci/inria/extra-checks: fix another typo
2020-08-03 16:43:46 +02:00
2d927d8be6
tools/ci/inria/extra-checks: stop mentionninig world.opt explicitly
...
this is now what's happening by default when the bytecode compiler
has not been disabled, and it has not, here.
2020-08-03 15:41:02 +02:00
5cb2218044
tools/ci/inria/extra-checks: print each command before its execution
2020-08-03 15:05:38 +02:00
4d7e78f224
tools/ci/inria/extra-checks: fix typos
2020-08-03 15:05:32 +02:00
d0263ac0e4
Merge branch 'trunk' into trunk
2020-07-27 13:53:52 +01:00
2b618ea026
Check that tools/unlabel is a no-op in CI
2020-07-27 12:41:21 +01:00
de877859cf
Test "no naked pointers" along with "flambda"
2020-07-20 09:37:32 +02:00
2b24b3802f
Fix "main" CI script w.r.t. macOS
...
Stopped working after 0b6ebb315
2020-07-14 14:35:21 +02:00
0b6ebb3155
Remove integration with libbfd
2020-07-02 06:40:10 +02:00
bfd3d7deb0
Bump FlexDLL submodule to 0.38
2020-06-29 17:06:19 +01:00
8d874fa3bb
CI: make "light" test lighter
...
Also disable shared library support.
2020-06-25 17:13:45 +02:00
389f5ee5aa
Fix inria/extra-checks CI job
...
Check-typo was confused by a few binary programs.
this commit calls git clean before (rather than after) running
tools/check-typo to fix this.
2020-06-22 17:49:43 +02:00
2f38a52086
Merge pull request #9625 from dra27/warn-error
...
--enable-warn-error configure option
2020-06-10 11:32:13 +01:00
e32c1b2e8e
Inria CI: also test LibBFD support on FreeBSD
2020-06-04 19:13:35 +02:00
75c9cd3b38
Add --enable-warn-error
...
On by default if +dev appears in VERSION and also fixed for MSVC.
2020-06-01 17:34:41 +01:00
b2f467abc0
Improve -with-bootstrap mode
...
- coreboot + opt.opt gives a faster build than bootstrap + opt.opt
- Restore the original bootstrap compilers on exit, so that
other-configs works (it performs several builds in sequence).
2020-05-21 17:05:40 +02:00
f82a84f3e8
Force a bootstrap for the --disable-flat-float-array test
...
The default build procedure is broken in --disable-flat-float-array mode
since PR#2188 was merged. This commit unblocks temporarily the situation
by using a build with bootstrap for --disable-float-float-array-mode.
2020-05-21 15:40:18 +02:00
ad804d1c4a
Add option "-with-bootstrap"
...
This option forces a bootstrap of the bytecode compiler before the
whole system is built and tested.
2020-05-21 15:40:13 +02:00
b42541395c
Travis CheckDepend: show the difference, not just the problematic files
...
(No change entry needed)
2020-05-16 22:44:12 +02:00
43f7a263b3
A lightweight variant of the Inria CI script "main"
...
Tries to build just what's needed to run the test suite.
2020-05-16 19:40:14 +02:00
f2587c1fb1
Merge pull request #9529 from dra27/macos-gnu-make
...
Further C dependency fixes
2020-05-06 09:53:45 +02:00
Sébastien Hinderer
David Allsopp
Xavier Leroy
John Whitington
Nicolás Ojeda Bär
Gabriel Scherer
Xavier Leroy