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.

Author: shindere

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