Console Output

19:34:14 Started by upstream project "isabelle-repo" build number 542
19:34:14 originally caused by:
19:34:14  Started by an SCM change
19:34:14 [EnvInject] - Loading node environment variables.
19:34:14 Building remotely on workermta4 (mta_small) in workspace /media/data/jenkins/workspace/isabelle-repo-makeall
19:34:14 [isabelle-repo-makeall] $ hg showconfig paths.default
19:34:14 [isabelle-repo-makeall] $ hg pull --rev fb5c74a587968612dcc23c71e74d34a1c917c7a2
19:34:14 pulling from http://isabelle.in.tum.de/repos/isabelle/
19:34:14 searching for changes
19:34:14 adding changesets
19:34:14 adding manifests
19:34:14 adding file changes
19:34:14 added 1 changesets with 9 changes to 9 files
19:34:14 (run 'hg update' to get a working copy)
19:34:14 [isabelle-repo-makeall] $ hg update --clean --rev fb5c74a587968612dcc23c71e74d34a1c917c7a2
19:34:15 9 files updated, 0 files merged, 0 files removed, 0 files unresolved
19:34:15 [isabelle-repo-makeall] $ hg log --rev . --template {node}
19:34:15 [isabelle-repo-makeall] $ hg log --rev . --template {rev}
19:34:15 [isabelle-repo-makeall] $ hg id --branch
19:34:15 No emails were triggered.
19:34:15 [isabelle-repo-makeall] $ /bin/sh -xe /tmp/hudson7112700982783915976.sh
19:34:15 + Admin/jenkins/run_build makeall
19:34:15 + set -e
19:34:15 + PROFILE=makeall
19:34:15 + shift
19:34:15 + bin/isabelle components -a
19:34:15 + bin/isabelle jedit -bf
19:34:15 ### Building Isabelle/Scala ...
19:35:45 ### Building Isabelle/jEdit ...
19:36:10 + bin/isabelle ci_build_makeall
19:36:14 
19:36:14 === CONFIGURATION ===
19:36:14 
19:36:14 ISABELLE_BUILD_OPTIONS=""
19:36:14 
19:36:14 ML_PLATFORM="x86_64-linux"
19:36:14 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.6-1/x86_64-linux"
19:36:14 ML_SYSTEM="polyml-5.6"
19:36:14 ML_OPTIONS="-H 4000 --maxheap 8G"
19:36:15 
19:36:15 === BUILD ===
19:36:15 
19:36:15 Build started at Tue, 18 Oct 2016 17:36:14 GMT
19:36:15 Isabelle id fb5c74a58796
19:36:15 
19:36:15 === LOG ===
19:36:15 
19:36:15 Session Pure/Pure
19:36:15 Session CCL/CCL
19:36:15 Session CTT/CTT
19:36:15 Session Cube/Cube
19:36:15 Session FOL/FOL
19:36:15 Session FOL/FOL-ex
19:36:15 Session FOLP/FOLP
19:36:16 Session FOLP/FOLP-ex
19:36:16 Session HOL/HOL (main)
19:36:16 Session Doc/Classes (doc)
19:36:16 Session Doc/Codegen_Basics
19:36:16 Session Doc/Codegen (doc)
19:36:16 Session Doc/Corec (doc)
19:36:16 Session Doc/Datatypes (doc)
19:36:16 Session Doc/Functions (doc)
19:36:16 Session HOL/HOL-Algebra (main timing)
19:36:16 Session HOL/HOL-Analysis (main timing)
19:36:17 Session HOL/HOL-Analysis-ex
19:36:17 Session HOL/HOL-Probability (timing)
19:36:17 *** No such file: "/media/data/jenkins/workspace/isabelle-repo-makeall/src/HOL/Probability/Essential_Supremum.thy"
19:36:17 *** The error(s) above occurred for theory "Essential_Supremum"
19:36:17 *** (required by "Probability") (line 15 of "/media/data/jenkins/workspace/isabelle-repo-makeall/src/HOL/Probability/Probability.thy")
19:36:17 *** The error(s) above occurred in session "HOL-Probability" (line 716 of "/media/data/jenkins/workspace/isabelle-repo-makeall/src/HOL/ROOT")
19:36:17 Build step 'Execute shell' marked build as failure
19:36:17 Archiving artifacts
19:36:17 Started calculate disk usage of build
19:36:17 Finished Calculation of disk usage of build in 0 seconds
19:36:18 Started calculate disk usage of workspace
19:36:18 Finished Calculation of disk usage of workspace in 0 seconds
19:36:18 No emails were triggered.
19:36:18 Finished: FAILURE