Stream: Mirror: Isabelle Development Mailing List

Topic: -- Error: /Users/nipkow/AFP/devel/tools/afp_build_ci.scal...

view this post on Zulip Email Gateway (Feb 16 2025 at 10:24):

From: Tobias Nipkow <nipkow@in.tum.de>
$ isabelle components -a
$ hg fetch
pulling from ssh://isabelle//home/isabelle-repository/repos/isabelle
searching for changes
no changes found
$ hg summary
parent: 82185:cd96b972d5d3 tip
$ isabelle build -b Pure

Building AFP/Tools (/Users/nipkow/AFP/devel/tools/lib/classes/afp_tools.jar) ...

method find_facts_index_command in object Find_Facts: (sessions: List[String],
ssh: isabelle.SSH.System,
isabelle_home: isabelle.Path, options: List[isabelle.Options.Spec],
dirs: List[isabelle.Path], browser_info: Boolean, no_build: Boolean, verbose
: Boolean): String does not have a parameter clean
1 error found
-- Error: /Users/nipkow/AFP/devel/tools/afp_build_ci.scala:272:51 ------------
272 | find_facts_options, dirs = dirs, clean = true, no_build = true)
| ^^^^^^^^^^^^
|method find_facts_index_command in object Find_Facts: (sessions:
List[String], ssh: isabelle.SSH.System,
| isabelle_home: isabelle.Path, options: List[isabelle.Options.Spec],
| dirs: List[isabelle.Path], browser_info: Boolean, no_build: Boolean, verbose
| : Boolean): String does not have a parameter clean
1 error found
*** Failed to compile Scala sources

What now?

Tobias

smime.p7s

Last updated: Apr 19 2025 at 01:36 UTC