Use a pipeline to define the bootstrap Jenkins job, take #1

tools/ci/inria/bootstrap/Jenkinsfile

@@ -0,0 +1,43 @@
+/**************************************************************************/
+/*                                                                        */
+/*                                 OCaml                                  */
+/*                                                                        */
+/*                    Sebastien Hinderer, INRIA Paris                     */
+/*                                                                        */
+/*   Copyright 2020 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.          */
+/*                                                                        */
+/**************************************************************************/
+
+/* Pipeline for the bootstrap job on Inria's CI */
+
+/* Make sure the OCaml compiler can still be bootstrapped */
+
+pipeline {
+  agent { label 'ocaml-linux-64' }
+  stages {
+    stage('Verifying that the OCaml compiler can be bootstrapped') {
+      steps {
+        sh 'tools/ci/inria/bootstrap/script'
+      }
+    }
+  }
+  post {
+    always {
+      emailext (
+        to: '[email protected]',
+        subject: 'Job $JOB_NAME $BUILD_STATUS (build #$BUILD_NUMBER)',
+        body: 'Changes since the last successful build:\n\n' +
+          '${CHANGES, format="%r %a %m"}\n\n' +
+          'See the attached build log or check console output here:\n' +
+          '$BUILD_URL\n',
+        /* recipientProviders: [[$class: 'DevelopersRecipientProvider']], */
+        attachLog: true
+      )
+    }
+  }
+}

tools/ci/inria/bootstrap → tools/ci/inria/bootstrap/script

@@ -74,7 +74,7 @@ change_exe_magic_number() {
 remove_primitive()
 {
   echo Removing the \'sinh\' primitive
-  patch -p1 < tools/ci/inria/remove-sinh-primitive.patch
+  patch -p1 < tools/ci/inria/bootstrap/remove-sinh-primitive.patch
 }
 
 #########################################################################