Console Output

21:01:12 Started by upstream project "isabelle-repo" build number 495
21:01:12 originally caused by:
21:01:12  Started by an SCM change
21:01:12 [EnvInject] - Loading node environment variables.
21:01:12 Building remotely on workermta2 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-repo-afp
21:01:12 [isabelle-repo-afp] $ hg showconfig paths.default
21:01:13 [isabelle-repo-afp] $ hg pull --rev c9f3a94cb8258c80a6fa5109ddd3bc7ba979d669
21:01:13 pulling from http://isabelle.in.tum.de/repos/isabelle/
21:01:13 searching for changes
21:01:13 adding changesets
21:01:13 adding manifests
21:01:13 adding file changes
21:01:13 added 5 changesets with 9 changes to 8 files
21:01:13 (run 'hg update' to get a working copy)
21:01:13 [isabelle-repo-afp] $ hg update --clean --rev c9f3a94cb8258c80a6fa5109ddd3bc7ba979d669
21:01:13 8 files updated, 0 files merged, 0 files removed, 0 files unresolved
21:01:13 [isabelle-repo-afp] $ hg --config extensions.purge= clean --all
21:01:13 [isabelle-repo-afp] $ hg log --rev . --template {node}
21:01:13 [isabelle-repo-afp] $ hg log --rev . --template {rev}
21:01:13 [isabelle-repo-afp] $ hg id --branch
21:01:13 [afp] $ hg showconfig paths.default
21:01:14 [afp] $ hg pull --rev default
21:01:14 pulling from https://bitbucket.org/isa-afp/afp-devel/
21:01:14 no changes found
21:01:14 [afp] $ hg update --clean --rev default
21:01:15 0 files updated, 0 files merged, 0 files removed, 0 files unresolved
21:01:15 [afp] $ hg --config extensions.purge= clean --all
21:01:15 [afp] $ hg log --rev . --template {node}
21:01:15 [afp] $ hg log --rev . --template {rev}
21:01:15 No emails were triggered.
21:01:15 [isabelle-repo-afp] $ /bin/sh -xe /tmp/hudson614999419807434459.sh
21:01:15 + Admin/jenkins/run_build afp
21:01:15 + set -e
21:01:15 + PROFILE=afp
21:01:15 + shift
21:01:15 + bin/isabelle components -a
21:01:15 + bin/isabelle jedit -bf
21:01:15 ### Building graph browser ...
21:01:15 warning: [options] bootstrap class path not set in conjunction with -source 1.4
21:01:15 warning: [options] source value 1.4 is obsolete and will be removed in a future release
21:01:15 warning: [options] target value 1.4 is obsolete and will be removed in a future release
21:01:15 warning: [options] To suppress warnings about obsolete options, use -Xlint:-options.
21:01:16 Note: GraphBrowser/GraphBrowser.java uses or overrides a deprecated API.
21:01:16 Note: Recompile with -Xlint:deprecation for details.
21:01:16 4 warnings
21:01:17 ### Building Isabelle/Scala ...
21:01:44 ### Building Isabelle/jEdit ...
21:02:03 + bin/isabelle ci_build_afp
21:02:09 
21:02:09 === CONFIGURATION ===
21:02:09 
21:02:09 ML_PLATFORM="x86_64-linux"
21:02:09 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.6-1/x86_64-linux"
21:02:09 ML_SYSTEM="polyml-5.6"
21:02:09 ML_OPTIONS="-H 4000 --gcthreads 2 --maxheap 8G"
21:02:09 
21:02:09 === BUILD ===
21:02:09 
21:02:09 Build started at Mon, 3 Oct 2016 19:02:09 GMT
21:02:09 Isabelle id c9f3a94cb825
21:02:09 AFP id 24b4ab705dfd
21:02:09 
21:02:09 === LOG ===
21:02:09 
21:02:10 *** Bad session root directory: "$ISABELLE_HOME/afp/thys/Fisher_Yates"
21:02:10 *** The error(s) above occurred in session catalog "$ISABELLE_HOME/afp/thys/ROOTS"
21:02:10 Build step 'Execute shell' marked build as failure
21:02:10 Archiving artifacts
21:02:10 No emails were triggered.
21:02:10 Finished: FAILURE