diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-10-03 14:24:43 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-10-03 14:24:43 +0200 |
| commit | 715fbc49c6ccc19baac8b04e1c45941963798449 (patch) | |
| tree | 86f08cc96f063885e0b083df61ee8e93d479d58e | |
| parent | 6a236f739d982d0188c2741f39e8e298ff2fdcfb (diff) | |
| download | ocaml-715fbc49c6ccc19baac8b04e1c45941963798449.tar.gz | |
Introduce tools/ci-build-other-configs
Inria's CI uses an "other-configs" job to test various, less
widespread configurations of the OCaml compiler.
Before this commit, the list of configurations to test was part of the
configuration of the Jenkins job itself, making it impossible to
have branch-specific configurations.
This commit introduces the tools/ci-build-other-configs script, which
can vary from branch to branch.
The job's configuration has been updated to execute the script when
it exists and to fallback to the former, built-in list of
configurations on the branches where this script is not present.
| -rwxr-xr-x | tools/ci-build-other-configs | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tools/ci-build-other-configs b/tools/ci-build-other-configs new file mode 100755 index 0000000000..ac65581512 --- /dev/null +++ b/tools/ci-build-other-configs @@ -0,0 +1,21 @@ +#!/bin/sh +#************************************************************************** +#* * +#* OCaml * +#* * +#* Sebastien Hinderer, projet Gallium, INRIA Paris * +#* * +#* Copyright 2017 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. * +#* * +#************************************************************************** + +# Commands to run for the 'other-configs' job on Inria's CI + +./tools/ci-build -conf -no-native-compiler -no-native +./tools/ci-build -conf -no-naked-pointers +./tools/ci-build -conf -flambda -conf -no-naked-pointers |