]> https://gitweb.dealii.org/ - candi.git/commitdiff
[CI] fix rebuilding on Jenkins
authorTimo Heister <timo.heister@gmail.com>
Tue, 5 Dec 2023 02:20:04 +0000 (21:20 -0500)
committerTimo Heister <timo.heister@gmail.com>
Tue, 5 Dec 2023 02:20:54 +0000 (21:20 -0500)
paths between 20.04 and 22.04 were being reused and causing compile
errors

Jenkinsfile

index 8f8292d868570e4d0de53eee7b756c3a4d77ec55..5cc7876db1b516069bf4e5da9d93676551b99287 100644 (file)
@@ -55,13 +55,14 @@ pipeline
        cmake --version
        # Ubuntu 20.04 only ships cmake 3.16 not 3.17:
        echo 'PACKAGES="once:cmake ${PACKAGES}"' > local.cfg
-        ./candi.sh -j 10 -p $WORKSPACE
-        cp $WORKSPACE/tmp/build/deal.II-*/detailed.log detailed-ubuntu2004.log
+       rm -rf $WORKSPACE/install
+        ./candi.sh -j 10 -p $WORKSPACE/install
+        cp $WORKSPACE/install/tmp/build/deal.II-*/detailed.log detailed-ubuntu2004.log
         '''
        archiveArtifacts artifacts: 'detailed-ubuntu2004.log', fingerprint: true
 
         sh '''#!/bin/bash
-        cd $WORKSPACE/tmp/build/deal.II-* && make test
+        cd $WORKSPACE/install/tmp/build/deal.II-* && make test
         '''
       }
     }
@@ -84,15 +85,15 @@ pipeline
        set -x
        mpicxx -v
        cmake --version
-       rm -rf $WORKSPACE/tmp/
        rm -f local.cfg
-        ./candi.sh -j 10 -p $WORKSPACE
-        cp $WORKSPACE/tmp/build/deal.II-*/detailed.log detailed-ubuntu2204.log
+       rm -rf $WORKSPACE/install/
+        ./candi.sh -j 10 -p $WORKSPACE/install
+        cp $WORKSPACE/install/tmp/build/deal.II-*/detailed.log detailed-ubuntu2204.log
         '''
        archiveArtifacts artifacts: 'detailed-ubuntu2204.log', fingerprint: true
 
         sh '''#!/bin/bash
-        cd $WORKSPACE/tmp/build/deal.II-* && make test
+        cd $WORKSPACE/install/tmp/build/deal.II-* && make test
         '''
       }
     }

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.