Commit 74857bd3 authored by Simon Brass's avatar Simon Brass
Browse files

[OCaml] add workspace variable

parent c0dc8bbd
......@@ -22,6 +22,7 @@
String prefix = "${env.JENKINS_HOME}/usr/local/ocaml-"
String prefix_symbolic = "${prefix}/ocaml-LATEST"
String workspace
String email_to = ""
if (getBinding().hasVariable("EMAIL_TO")) {
......@@ -34,14 +35,17 @@ node('master') {
currentBuild.result = "SUCCESS"
try {
workspace = pwd()
stage 'Checkout'
checkout scm
sh 'git rev-parse --short HEAD > GIT_HEAD'
commit = readFile('GIT_HEAD')
prefix = "${prefix}${commit}"
stage 'Configure'
sh "./configure -prefix ${prefix}"
sh "${workspace}/configure -prefix ${prefix}"
stage 'Make'
sh "make -j 2 world.opt"
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment