Console Output

Started by upstream project "isabelle-repo" build number 108
originally caused by:
 Started by an SCM change
[EnvInject] - Loading node environment variables.
Building remotely on worker2 (lrz-cloud) in workspace /media/data/jenkins/workspace/isabelle-repo-afp
[isabelle-repo-afp] $ hg showconfig paths.default
[isabelle-repo-afp] $ hg pull --rev default
pulling from http://isabelle.in.tum.de/repos/isabelle/
searching for changes
adding changesets
adding manifests
adding file changes
added 4 changesets with 6 changes to 6 files
(run 'hg update' to get a working copy)
[isabelle-repo-afp] $ hg update --clean --rev default
6 files updated, 0 files merged, 0 files removed, 0 files unresolved
[isabelle-repo-afp] $ hg log --rev . --template {node}
[isabelle-repo-afp] $ hg log --rev . --template {rev}
[afp] $ hg showconfig paths.default
[afp] $ hg pull --rev default
pulling from https://bitbucket.org/isa-afp/afp-devel/
searching for changes
adding changesets
adding manifests
adding file changes
added 2 changesets with 19 changes to 19 files
(run 'hg update' to get a working copy)
[afp] $ hg update --clean --rev default
19 files updated, 0 files merged, 10 files removed, 0 files unresolved
[afp] $ hg --config extensions.purge= clean --all
[afp] $ hg log --rev . --template {node}
[afp] $ hg log --rev . --template {rev}
[isabelle-repo-afp] $ /bin/sh -xe /tmp/hudson491747438918004063.sh
+ bin/isabelle ci_build afp
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/scala-2.11.8"
+ uname -a
Linux vm-10-155-208-87 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt20-1+deb8u3 (2016-01-17) x86_64 GNU/Linux
+ hg id
96f20d90c989 tip
+ date
Thu 24 Mar 19:06:51 CET 2016
+ show_settings
+ set +x
ML_PLATFORM="x86_64-linux"
ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.6-1/x86_64-linux"
ML_SYSTEM="polyml-5.6"
ML_OPTIONS="-H 8000"
+ export ISABELLE_CI_TYPE=afp
+ ISABELLE_CI_TYPE=afp
+ /media/data/jenkins/workspace/isabelle-repo-afp/bin/isabelle components -a
Getting "http://isabelle.in.tum.de/components/scala-2.11.8.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/scala-2.11.8.tar.gz"
+ /media/data/jenkins/workspace/isabelle-repo-afp/bin/isabelle jedit -bf
### Building Isabelle/Scala ...
Unknown SCALA_HOME -- Scala unavailable
Failed to compile sources
+ exit 2
Build step 'Execute shell' marked build as failure
Finished: FAILURE