Console Output

Started by upstream project "afp-repo-checkin" build number 120
originally caused by:
 Started by an SCM change
[EnvInject] - Loading node environment variables.
Building remotely on worker1 (lrz-cloud) in workspace /media/data/jenkins/workspace/afp-repo-afp
[afp-repo-afp] $ hg showconfig paths.default
[afp-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 149 changesets with 632 changes to 321 files
(run 'hg update' to get a working copy)
[afp-repo-afp] $ hg update --clean --rev default
305 files updated, 0 files merged, 44 files removed, 0 files unresolved
[afp-repo-afp] $ hg log --rev . --template {node}
[afp-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 34 changesets with 93 changes to 83 files
(run 'hg update' to get a working copy)
[afp] $ hg update --clean --rev default
83 files updated, 0 files merged, 0 files removed, 0 files unresolved
[afp] $ hg --config extensions.purge= clean --all
[afp] $ hg log --rev . --template {node}
[afp] $ hg log --rev . --template {rev}
[afp-repo-afp] $ /bin/sh -xe /tmp/hudson5405169900392578061.sh
+ bin/isabelle ci_build afp
+ uname -a
Linux vm-10-155-208-82 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt20-1+deb8u3 (2016-01-17) x86_64 GNU/Linux
+ hg id
28b75a9b0443 tip
+ date
Wed 16 Mar 23:38:30 CET 2016
+ show_settings
+ set +x
ML_PLATFORM="x86-linux"
ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.6-1/x86-linux"
ML_SYSTEM="polyml-5.6"
ML_OPTIONS="-H 2000"
+ export ISABELLE_CI_TYPE=afp
+ ISABELLE_CI_TYPE=afp
+ /media/data/jenkins/workspace/afp-repo-afp/bin/isabelle components -a
+ /media/data/jenkins/workspace/afp-repo-afp/bin/isabelle jedit -bf
### Building Isabelle/Scala ...
### Building Isabelle/jEdit ...
+ /media/data/jenkins/workspace/afp-repo-afp/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
    Build.build_results(
          ^
/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
      progress = progress,
               ^
/media/data/jenkins/.isabelle/ci/ci_build.scala:32: error: not found: value clean_build
      clean_build = true,
      ^
/media/data/jenkins/.isabelle/ci/ci_build.scala:33: error: not found: value verbose
      verbose = true,
      ^
/media/data/jenkins/.isabelle/ci/ci_build.scala:34: error: not found: value max_jobs
      max_jobs = build_type.jobs,
      ^
/media/data/jenkins/.isabelle/ci/ci_build.scala:35: error: not found: value dirs
      dirs = build_type.include,
      ^
/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
      ^
Build step 'Execute shell' marked build as failure
Finished: FAILURE