Console Output

16:51:03 Started by an SCM change
16:51:03 Running as SYSTEM
16:51:03 [EnvInject] - Loading node environment variables.
16:51:03 Building remotely on workerls211 (slurm_master) in workspace /media/data/jenkins/workspace/isabelle-distributed
16:51:03 [isabelle-distributed] $ hg showconfig paths.default
16:51:03 [isabelle-distributed] $ hg pull --rev default
16:51:03 pulling from http://isabelle.in.tum.de/repos/isabelle/
16:51:03 real URL is https://isabelle.in.tum.de/repos/isabelle/
16:51:04 no changes found
16:51:04 [isabelle-distributed] $ hg update --clean --rev default
16:51:04 9 files updated, 0 files merged, 0 files removed, 0 files unresolved
16:51:04 [isabelle-distributed] $ hg log --rev . --template {node}
16:51:04 [isabelle-distributed] $ hg log --rev . --template {rev}
16:51:04 [isabelle-distributed] $ hg log --rev fea7bc828b8bf2ce8a3e2e309a44d939f1d76028 --template exists\n
16:51:04 exists
16:51:04 [isabelle-distributed] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg>{file_adds % '<addedFile>{file|xmlescape}</addedFile>'}{file_dels % '<deletedFile>{file|xmlescape}</deletedFile>'}{files % '<file>{file|xmlescape}</file>'}<parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(fea7bc828b8bf2ce8a3e2e309a44d939f1d76028)" --encoding UTF-8 --encodingmode replace
16:51:04 [afp] $ hg showconfig paths.default
16:51:04 [afp] $ hg pull --rev default
16:51:04 pulling from https://foss.heptapod.net/isa-afp/afp-devel/
16:51:05 no changes found
16:51:05 [afp] $ hg update --clean --rev default
16:51:05 0 files updated, 0 files merged, 0 files removed, 0 files unresolved
16:51:05 [afp] $ hg --config extensions.purge= clean --all
16:51:05 [afp] $ hg log --rev . --template {node}
16:51:05 [afp] $ hg log --rev . --template {rev}
16:51:06 [afp] $ hg log --rev f0dfd9de026b80a9890e48998e04ab8bd63ab89c --template exists\n
16:51:06 exists
16:51:06 [afp] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg>{file_adds % '<addedFile>{file|xmlescape}</addedFile>'}{file_dels % '<deletedFile>{file|xmlescape}</deletedFile>'}{files % '<file>{file|xmlescape}</file>'}<parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(f0dfd9de026b80a9890e48998e04ab8bd63ab89c)" --encoding UTF-8 --encodingmode replace
16:51:06 The recommended git tool is: NONE
16:51:06 No credentials specified
16:51:06  > git rev-parse --resolve-git-dir /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/.git # timeout=10
16:51:06 Fetching changes from the remote Git repository
16:51:06  > git config remote.origin.url https://github.com/isabelle-prover/isabelle-context-build.git # timeout=10
16:51:06 Fetching upstream changes from https://github.com/isabelle-prover/isabelle-context-build.git
16:51:06  > git --version # timeout=10
16:51:06  > git --version # 'git version 2.34.1'
16:51:06  > git fetch --tags --force --progress -- https://github.com/isabelle-prover/isabelle-context-build.git +refs/heads/*:refs/remotes/origin/* # timeout=10
16:51:06  > git rev-parse refs/remotes/origin/master^{commit} # timeout=10
16:51:06 Checking out Revision 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d (refs/remotes/origin/master)
16:51:06  > git config core.sparsecheckout # timeout=10
16:51:06  > git checkout -f 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d # timeout=10
16:51:06 Commit message: "update to current Isabelle;"
16:51:06  > git rev-list --no-walk 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d # timeout=10
16:51:06 
[isabelle-distributed] $ /bin/sh -xe /tmp/jenkins15669940343029253178.sh

16:51:07 + bin/isabelle components -a
16:51:07 ### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/rsync-3.2.7"
16:51:07 Getting "https://isabelle.sketis.net/components/rsync-3.2.7.tar.gz"
16:51:07 Unpacking "/media/data/jenkins/.isabelle/contrib/rsync-3.2.7.tar.gz"
16:51:07 + bin/isabelle jedit -b
16:51:07 ### Building Isabelle/Scala (/media/data/jenkins/workspace/isabelle-distributed/lib/classes/isabelle.jar) ...
16:51:27 ### Building AFP/Tools (/media/data/jenkins/workspace/isabelle-distributed/afp/admin/jenkins/../../tools/lib/classes/afp_tools.jar) ...
16:51:28 ### Building Isabelle Context Build (/media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/lib/context_build.jar) ...
16:51:28 Not found: NUMA
16:51:28 Not found: NUMA
16:51:28 too many arguments for constructor Build_Job in trait Build_Job: (): isabelle.Build_Job
16:51:28 method build_session in object Browser_Info: (context: isabelle.Browser_Info.Context, session_context: 
16:51:28   isabelle.Export.Session_Context
16:51:28 , progress: isabelle.Progress): Unit does not have a parameter verbose
16:51:29 Found:    (command_timings : isabelle.Bytes)
16:51:29 Required: List[isabelle.Properties.T]
16:51:29 method deps in object Sessions: (sessions_structure: isabelle.Sessions.Structure, progress: isabelle.Progress
16:51:29   , 
16:51:29 inlined_files: Boolean, list_files: Boolean, check_keywords: Set[String]): 
16:51:29   isabelle.Sessions.Deps does not have a parameter verbose
16:51:29 value prepare_output_dir is not a member of isabelle.Sessions.Store
16:51:29 Found:    (relevant : Any)
16:51:29 Required: Boolean
16:51:29 Found:    (ok : Any)
16:51:29 Required: Boolean
16:51:29 value Session_Info is not a member of object isabelle.Build
16:51:29 Found:    (String, Boolean) => Unit
16:51:29 Required: String => Unit
16:51:29 Found:    (String, Boolean) => Unit
16:51:29 Required: String => Unit
16:51:29 Not found: NUMA
16:51:29 method init in object Options: (prefs: String, specs: List[isabelle.Options.Spec]): isabelle.Options does not have a parameter opts
16:51:29 method init in object Options: (prefs: String, specs: List[isabelle.Options.Spec]): isabelle.Options does not have a parameter opts
16:51:29 too many arguments for constructor Build_Job in trait Build_Job: (): isabelle.Build_Job
16:51:29 method init in object Options: (prefs: String, specs: List[isabelle.Options.Spec]): isabelle.Options does not have a parameter opts
16:51:29 Found:    (isabelle.Path, isabelle.SSH.System) => Boolean
16:51:29 Required: isabelle.Path => Boolean
16:51:29 Found:    (where_equal : isabelle.SQL.Source)
16:51:29 Required: Boolean
16:51:29 19 errors found
16:51:29 -- [E006] Not Found Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/build_scheduler.scala:27:45 
16:51:29 27 |  class Local_Scheduler(max_jobs: Int, numa: NUMA.Nodes) extends Scheduler {
16:51:29    |                                             ^^^^
16:51:29    |                                             Not found: NUMA
16:51:29    |
16:51:29    | longer explanation available when compiling with `-explain`
16:51:29 -- [E006] Not Found Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/build_scheduler.scala:137:10 
16:51:29 137 |    numa: NUMA.Nodes,
16:51:29     |          ^^^^
16:51:29     |          Not found: NUMA
16:51:29     |
16:51:29     | longer explanation available when compiling with `-explain`
16:51:29 -- Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/build_scheduler.scala:174:8 
16:51:29 174 |        progress, build.deps.background(task.session_name), build.store, task.do_store,
16:51:29     |        ^^^^^^^^
16:51:29     |too many arguments for constructor Build_Job in trait Build_Job: (): isabelle.Build_Job
16:51:29 -- Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/build_scheduler.scala:197:81 
16:51:29 197 |            Browser_Info.build_session(context1, _, progress = progress, verbose = task.verbose))
16:51:29     |                                                                         ^^^^^^^^^^^^^^^^^^^^^^
16:51:29     |method build_session in object Browser_Info: (context: isabelle.Browser_Info.Context, session_context: 
16:51:29     |  isabelle.Export.Session_Context
16:51:29     |, progress: isabelle.Progress): Unit does not have a parameter verbose
16:51:29 -- [E007] Type Mismatch Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:41:11 
16:51:29 41 |          (command_timings, session_timing)
16:51:29    |           ^^^^^^^^^^^^^^^
16:51:29    |           Found:    (command_timings : isabelle.Bytes)
16:51:29    |           Required: List[isabelle.Properties.T]
16:51:29    |
16:51:29    | longer explanation available when compiling with `-explain`
16:51:29 -- Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:128:61 
16:51:29 128 |          progress = progress, inlined_files = true, verbose = verbose,
16:51:29     |                                                     ^^^^^^^^^^^^^^^^^
16:51:29     |method deps in object Sessions: (sessions_structure: isabelle.Sessions.Structure, progress: isabelle.Progress
16:51:29     |  , 
16:51:29     |inlined_files: Boolean, list_files: Boolean, check_keywords: Set[String]): 
16:51:29     |  isabelle.Sessions.Deps does not have a parameter verbose
16:51:29 -- [E008] Not Found Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:191:12 
16:51:29 191 |      store.prepare_output_dir()
16:51:29     |      ^^^^^^^^^^^^^^^^^^^^^^^^
16:51:29     | value prepare_output_dir is not a member of isabelle.Sessions.Store
16:51:29 -- [E007] Type Mismatch Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:196:14 
16:51:29 196 |          if (relevant) {
16:51:29     |              ^^^^^^^^
16:51:29     |              Found:    (relevant : Any)
16:51:29     |              Required: Boolean
16:51:29     |
16:51:29     | longer explanation available when compiling with `-explain`
16:51:29 -- [E007] Type Mismatch Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:197:16 
16:51:29 197 |            if (ok) progress.echo("Cleaned " + name)
16:51:29     |                ^^
16:51:29     |                Found:    (ok : Any)
16:51:29     |                Required: Boolean
16:51:29     |
16:51:29     | longer explanation available when compiling with `-explain`
16:51:29 -- [E008] Not Found Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:280:30 
16:51:29 280 |                        Build.Session_Info(build_deps.sources_shasum(session_name),
16:51:29     |                        ^^^^^^^^^^^^^^^^^^
16:51:29     |         value Session_Info is not a member of object isabelle.Build
16:51:29 -- [E007] Type Mismatch Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:285:51 
16:51:29 285 |                  process_result.err_lines.foreach(progress.echo)
16:51:29     |                                                   ^^^^^^^^^^^^^
16:51:29     |                                 Found:    (String, Boolean) => Unit
16:51:29     |                                 Required: String => Unit
16:51:29     |
16:51:29     | longer explanation available when compiling with `-explain`
16:51:29 -- [E007] Type Mismatch Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:301:51 
16:51:29 301 |                  process_result.err_lines.foreach(progress.echo)
16:51:29     |                                                   ^^^^^^^^^^^^^
16:51:29     |                                 Found:    (String, Boolean) => Unit
16:51:29     |                                 Required: String => Unit
16:51:29     |
16:51:29     | longer explanation available when compiling with `-explain`
16:51:29 -- [E006] Not Found Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:466:60 
16:51:29 466 |      var scheduler: Scheduler = new Local_Scheduler(1, new NUMA.Nodes(false))
16:51:29     |                                                            ^^^^
16:51:29     |                                                     Not found: NUMA
16:51:29     |
16:51:29     | longer explanation available when compiling with `-explain`
16:51:29 -- Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:483:38 
16:51:29 483 |      var options = Options.init(opts = build_options)
16:51:29     |                                 ^^^^^^^^^^^^^^^^^^^^
16:51:29     |method init in object Options: (prefs: String, specs: List[isabelle.Options.Spec]): isabelle.Options does not have a parameter opts
16:51:29 -- Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/remote_browser_info.scala:176:38 
16:51:29 176 |      var options = Options.init(opts = build_options)
16:51:29     |                                 ^^^^^^^^^^^^^^^^^^^^
16:51:29     |method init in object Options: (prefs: String, specs: List[isabelle.Options.Spec]): isabelle.Options does not have a parameter opts
16:51:29 -- Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/remote_build_job.scala:105:20 
16:51:29 105 |      new Build_Job(progress, deps.background(session_name), store, do_store,
16:51:29     |                    ^^^^^^^^
16:51:29     |too many arguments for constructor Build_Job in trait Build_Job: (): isabelle.Build_Job
16:51:29 -- Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/remote_build_job.scala:119:38 
16:51:29 119 |      var options = Options.init(opts = build_options)
16:51:29     |                                 ^^^^^^^^^^^^^^^^^^^^
16:51:29     |method init in object Options: (prefs: String, specs: List[isabelle.Options.Spec]): isabelle.Options does not have a parameter opts
16:51:29 -- [E007] Type Mismatch Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/slurm.scala:190:25 
16:51:29 190 |        info.dirs.filter(Sessions.is_session_dir).map(File.symbolic_path)
16:51:29     |                         ^^^^^^^^^^^^^^^^^^^^^^^
16:51:29     |           Found:    (isabelle.Path, isabelle.SSH.System) => Boolean
16:51:29     |           Required: isabelle.Path => Boolean
16:51:29     |
16:51:29     | longer explanation available when compiling with `-explain`
16:51:29 -- [E007] Type Mismatch Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/slurm.scala:304:68 
16:51:29 304 |          db.using_statement(Data.table.select(List(Data.build_id), where_equal))(stmt =>
16:51:29     |                                                                    ^^^^^^^^^^^
16:51:29     |                       Found:    (where_equal : isabelle.SQL.Source)
16:51:29     |                       Required: Boolean
16:51:29     |
16:51:29     | longer explanation available when compiling with `-explain`
16:51:29 19 errors found
16:51:29 *** Failed to compile Scala sources
16:51:30 Build step 'Execute shell' marked build as failure
16:51:30 Started calculate disk usage of build
16:51:30 Finished Calculation of disk usage of build in 0 seconds
16:51:30 Started calculate disk usage of workspace
16:51:30 Finished Calculation of disk usage of workspace in 0 seconds
16:51:30 Finished: FAILURE