Started by upstream project "isabelle-repo-checkin" build number 78
[EnvInject] - Loading node environment variables.
Building remotely on worker3 (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 47 changesets with 147 changes to 81 files
(run 'hg update' to get a working copy)
[isabelle-repo-makeall] $ hg update --clean --rev default
81 files updated, 0 files merged, 4 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/hudson4519402103580873181.sh
+ bin/isabelle ci_build makeall
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/bash_process-1.2.1"
Linux vm-10-155-208-88 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
Getting "http://isabelle.in.tum.de/components/bash_process-1.2.1.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/bash_process-1.2.1.tar.gz"
+ /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
Session HOL/HOL-Algebra (main)
Session HOL/HOL-Data_Structures
Session HOL/HOL-Datatype_Examples
Session HOL/HOL-Decision_Procs
Session HOL/HOL-Hoare_Parallel
Session HOL/HOL-Imperative_HOL
Session HOL/HOL-Library (main)
Session HOL/HOL-Codegenerator_Test
Session HOL/HOL-Metis_Examples
Session HOL/HOL-Multivariate_Analysis (main)
Session HOL/HOL-Multivariate_Analysis-ex
Session HOL/HOL-Probability-ex
Session HOL/HOL-Nitpick_Examples
Session HOL/HOL-Nominal-Examples
Session HOL/HOL-Nonstandard_Analysis
Session HOL/HOL-Nonstandard_Analysis-Examples
Session HOL/HOL-Old_Number_Theory
Session HOL/HOL-Predicate_Compile_Examples
Session HOL/HOL-Quickcheck_Examples
Session HOL/HOL-Quotient_Examples
Session HOL/HOL-SPARK-Examples
Session HOL/HOL-Word-SMT_Examples
Session Doc/Implementation (doc)
Session Doc/Sledgehammer (doc)
Session ZF/ZF-Constructible (ZF)
Cleaning HOL-Data_Structures ...
Cleaning HOL-Datatype_Examples ...
Cleaning HOL-Decision_Procs ...
Cleaning HOL-Hoare_Parallel ...
Cleaning HOL-Imperative_HOL ...
Cleaning HOL-Isar_Examples ...
Cleaning HOL-Codegenerator_Test ...
Cleaning HOL-Metis_Examples ...
Cleaning HOL-Multivariate_Analysis ...
Cleaning HOL-Multivariate_Analysis-ex ...
Cleaning HOL-Probability-ex ...
Cleaning HOL-Nitpick_Examples ...
Cleaning HOL-Nominal-Examples ...
Cleaning HOL-Nonstandard_Analysis ...
Cleaning HOL-Nonstandard_Analysis-Examples ...
Cleaning HOL-Number_Theory ...
Cleaning HOL-Old_Number_Theory ...
Cleaning HOL-Predicate_Compile_Examples ...
Cleaning HOL-Quickcheck_Examples ...
Cleaning HOL-Quotient_Examples ...
Cleaning HOL-SPARK-Examples ...
Cleaning HOL-Word-Examples ...
Cleaning HOL-Word-SMT_Examples ...
ERROR(Undefined Isabelle environment variable: "ISABELLE_BASH_PROCESS")
at isabelle.Exn$ERROR$.apply(exn.scala:29)
at isabelle.Exn$.error(exn.scala:33)
at isabelle.package$$anonfun$1.apply(ROOT.scala:18)
at isabelle.package$$anonfun$1.apply(ROOT.scala:18)
at isabelle.Isabelle_System$.getenv_strict(isabelle_system.scala:142)
at isabelle.Path.isabelle$Path$$eval$1(path.scala:190)
at isabelle.Path$$anonfun$expand$1.apply(path.scala:197)
at isabelle.Path$$anonfun$expand$1.apply(path.scala:197)
at scala.collection.immutable.List.map(List.scala:273)
at isabelle.Path.expand(path.scala:197)
at isabelle.File$.standard_path(file.scala:27)
at isabelle.File$.platform_path(file.scala:90)
at isabelle.Bash$Process.<init>(bash.scala:47)
at isabelle.Bash$.process(bash.scala:33)
at isabelle.ML_Process$.apply(ml_process.scala:96)
at isabelle.Build$Job$$anonfun$49.apply(build.scala:583)
at isabelle.Build$Job$$anonfun$49.apply(build.scala:575)
at isabelle.Exn$.capture(exn.scala:58)
at isabelle.Thread_Future$$anonfun$1.apply$mcV$sp(future.scala:139)
at isabelle.Standard_Thread$$anon$2.run(standard_thread.scala:25)