Started by upstream project "isabelle-repo-checkin" build number 95
[EnvInject] - Loading node environment variables.
Building remotely on worker4 (lrz-cloud) in workspace /media/data/jenkins/workspace/isabelle-repo-makeall
[isabelle-repo-makeall] $ hg showconfig paths.default
[isabelle-repo-makeall] $ hg pull --rev default
pulling from http://isabelle.in.tum.de/repos/isabelle/
added 20 changesets with 70 changes to 32 files
(run 'hg update' to get a working copy)
[isabelle-repo-makeall] $ hg update --clean --rev default
31 files updated, 0 files merged, 1 files removed, 0 files unresolved
[isabelle-repo-makeall] $ hg --config extensions.purge= clean --all
[isabelle-repo-makeall] $ hg log --rev . --template {node}
[isabelle-repo-makeall] $ hg log --rev . --template {rev}
[isabelle-repo-makeall] $ /bin/sh -xe /tmp/hudson3601333073731405932.sh
+ bin/isabelle ci_build makeall
Linux vm-10-155-208-91 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt20-1+deb8u3 (2016-01-17) x86_64 GNU/Linux
ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.6-1/x86-linux"
+ export ISABELLE_CI_TYPE=makeall
+ /media/data/jenkins/workspace/isabelle-repo-makeall/bin/isabelle components -a
+ /media/data/jenkins/workspace/isabelle-repo-makeall/bin/isabelle jedit -bf
### Building graph browser ...
warning: [options] bootstrap class path not set in conjunction with -source 1.4
warning: [options] source value 1.4 is obsolete and will be removed in a future release
warning: [options] target value 1.4 is obsolete and will be removed in a future release
warning: [options] To suppress warnings about obsolete options, use -Xlint:-options.
Note: GraphBrowser/GraphBrowser.java uses or overrides a deprecated API.
Note: Recompile with -Xlint:deprecation for details.
### Building Isabelle/Scala ...
### Building Isabelle/jEdit ...
+ /media/data/jenkins/workspace/isabelle-repo-makeall/bin/isabelle scala -J-Xmx4G -howtorun:script -nocompdaemon /media/data/jenkins/.isabelle/ci/ci_build.scala
/media/data/jenkins/.isabelle/ci/ci_build.scala:29: error: value build_results is not a member of object isabelle.Build
/media/data/jenkins/.isabelle/ci/ci_build.scala:30: error: reassignment to val
options = build_type.options(options),
/media/data/jenkins/.isabelle/ci/ci_build.scala:31: error: reassignment to val
/media/data/jenkins/.isabelle/ci/ci_build.scala:32: error: not found: value clean_build
/media/data/jenkins/.isabelle/ci/ci_build.scala:33: error: not found: value verbose
/media/data/jenkins/.isabelle/ci/ci_build.scala:34: error: not found: value max_jobs
/media/data/jenkins/.isabelle/ci/ci_build.scala:35: error: not found: value dirs
/media/data/jenkins/.isabelle/ci/ci_build.scala:36: error: not found: value session_groups
session_groups = build_type.groups,
/media/data/jenkins/.isabelle/ci/ci_build.scala:37: error: not found: value all_sessions
all_sessions = build_type.all,
/media/data/jenkins/.isabelle/ci/ci_build.scala:38: error: not found: value exclude_session_groups
exclude_session_groups = build_type.exclude