install Irksome on Jenkins

wence- · wence- · commit 97d3859e9ca6 · 2020-07-01T16:16:44.000+01:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -26,7 +26,7 @@ pipeline {
         sh 'mkdir tmp'
         dir('tmp') {
           timestamps {
-            sh '../scripts/firedrake-install --disable-ssh --minimal-petsc --slepc --documentation-dependencies --install thetis --install gusto --install icepack --no-package-manager || (cat firedrake-install.log && /bin/false)'
+            sh '../scripts/firedrake-install --disable-ssh --minimal-petsc --slepc --documentation-dependencies --install thetis --install gusto --install icepack --install irksome --no-package-manager || (cat firedrake-install.log && /bin/false)'
           }
         }
       }

Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,7 @@ pipeline {`
`26`	`26`	`sh 'mkdir tmp'`
`27`	`27`	`dir('tmp') {`
`28`	`28`	`timestamps {`
`29`		`- sh '../scripts/firedrake-install --disable-ssh --minimal-petsc --slepc --documentation-dependencies --install thetis --install gusto --install icepack --no-package-manager \|\| (cat firedrake-install.log && /bin/false)'`
	`29`	`+ sh '../scripts/firedrake-install --disable-ssh --minimal-petsc --slepc --documentation-dependencies --install thetis --install gusto --install icepack --install irksome --no-package-manager \|\| (cat firedrake-install.log && /bin/false)'`
`30`	`30`	`}`
`31`	`31`	`}`
`32`	`32`	`}`