Commit c0dc8bbd authored by Simon Brass's avatar Simon Brass
Browse files

[OCaml] add configure and make

parent 6c5f7510
......@@ -39,10 +39,12 @@ node('master') {
sh 'git rev-parse --short HEAD > GIT_HEAD'
commit = readFile('GIT_HEAD')
prefix = "${prefix}${commit}"
echo "${prefix}"
// stage 'Configure'
// sh './configure '
stage 'Configure'
sh "./configure -prefix ${prefix}"
stage 'Make'
sh "make -j 2 world.opt"
// stage 'Test'
// env.NODE_ENV = "test"
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