Changeset 91aa5ab

Timestamp:

Dec 3, 2020, 4:57:45 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

0797198, 4011b98

Parents:

1483a16

Message:

Didn't save properly

File:

• Jenkinsfile (modified) (12 diffs)

Jenkinsfile

@@ -82 +82 @@
 //===========================================================================================================
 def clean() {
-        build_stage('Cleanup', true) {
+        Tools.BuildStage('Cleanup', true) {
                 // clean the build by wipping the build directory
                 dir(BuildDir) {
@@ -92 +92 @@
 //Compilation script is done here but environnement set-up and error handling is done in main loop
 def checkout() {
-        build_stage('Checkout', true) {
+        Tools.BuildStage('Checkout', true) {
                 //checkout the source code and clean the repo
                 final scmVars = checkout scm
@@ -105 +105 @@
         debug = true
         release = Settings.RunAllTests || Settings.RunBenchmark
-        build_stage('Build : configure', true) {
+        Tools.BuildStage('Build : configure', true) {
                 // Configure must be run inside the tree
                 dir (SrcDir) {
@@ -133 +133 @@
         }
 
-        build_stage('Build : cfa-cpp', true) {
+        Tools.BuildStage('Build : cfa-cpp', true) {
                 // Build outside of the src tree to ease cleaning
                 dir (BuildDir) {
@@ -144 +144 @@
         }
 
-        build_stage('Build : libcfa(debug)', debug) {
+        Tools.BuildStage('Build : libcfa(debug)', debug) {
                 // Build outside of the src tree to ease cleaning
                 dir (BuildDir) {
@@ -151 +151 @@
         }
 
-        build_stage('Build : libcfa(nodebug)', release) {
+        Tools.BuildStage('Build : libcfa(nodebug)', release) {
                 // Build outside of the src tree to ease cleaning
                 dir (BuildDir) {
@@ -158 +158 @@
         }
 
-        build_stage('Build : install', true) {
+        Tools.BuildStage('Build : install', true) {
                 // Build outside of the src tree to ease cleaning
                 dir (BuildDir) {
@@ -168 +168 @@
 def test() {
         try {
-                build_stage('Test: short', !Settings.RunAllTests) {
+                Tools.BuildStage('Test: short', !Settings.RunAllTests) {
                         dir (BuildDir) {
                                 //Run the tests from the tests directory
@@ -175 +175 @@
                 }
 
-                build_stage('Test: full', Settings.RunAllTests) {
+                Tools.BuildStage('Test: full', Settings.RunAllTests) {
                         dir (BuildDir) {
                                         //Run the tests from the tests directory
@@ -193 +193 @@
 
 def benchmark() {
-        build_stage('Benchmark', Settings.RunBenchmark) {
+        Tools.BuildStage('Benchmark', Settings.RunBenchmark) {
                 dir (BuildDir) {
                         //Append bench results
@@ -202 +202 @@
 
 def build_doc() {
-        build_stage('Documentation', Settings.BuildDocumentation) {
+        Tools.BuildStage('Documentation', Settings.BuildDocumentation) {
                 dir ('doc/user') {
                         make_doc()
@@ -214 +214 @@
 
 def publish() {
-        build_stage('Publish', true) {
+        Tools.BuildStage('Publish', true) {
 
                 if( Settings.Publish && !Settings.RunBenchmark ) { echo 'No results to publish!!!' }