Stream: Beginner Questions

Topic: Bad component catalog file error


view this post on Zulip waynee95 (Jun 27 2022 at 00:10):

I accidentally added the wrong path for the AFP components and the only thing that the isabelle command does now is printing the error "Bad component catalog file: ...". Is there any way to remove that faulty catalog file?

view this post on Zulip waynee95 (Jun 27 2022 at 00:28):

Okay found the components config file in ~/.isabelle/Isabelle2021/etc/ and removed the faulty path.
It would be a good idea if the isabelle command would not just break because of this.

view this post on Zulip Notification Bot (Jun 27 2022 at 00:28):

waynee95 has marked this topic as resolved.

view this post on Zulip Notification Bot (Jun 27 2022 at 00:33):

waynee95 has marked this topic as unresolved.

view this post on Zulip waynee95 (Jun 27 2022 at 00:40):

I don't seem to understand how to add the AFP to Isabelle. Following https://www.isa-afp.org/help/, you need to run isabelle components -u /path-to-afp/thys but when I do that I still get the "Bad component catalog file" error.

~
λ isabelle version
Isabelle2021-1
~
λ ls ~/Downloads/afp-2022-06-24
etc thys tools
~
λ isabelle components -u /home/waynee95/Downloads/afp-2022-06-24/thys
Added component "/home/waynee95/Downloads/afp-2022-06-24/thys"
~
λ isabelle
Bad component catalog file: "/home/waynee95/Downloads/afp-2022-06-24/admin/components/afp"

view this post on Zulip Mathias Fleury (Jun 27 2022 at 04:14):

Can you check that you have not already added a faulty path in ~/.isabelle/Isabelle2021-1/etc/components?

view this post on Zulip Mathias Fleury (Jun 27 2022 at 04:16):

The opposite of -u is -x, but you can also directly edit the file

view this post on Zulip Mathias Fleury (Jun 27 2022 at 04:19):

I don't have a components/afp file in my AFP files.

view this post on Zulip Fabian Huch (Jun 27 2022 at 07:50):

It seems that there is a problem with the latest release (will fix!). For now, you can remove the file afp-2022-06-24/etc/build.props and the line init_components "$ISABELLE_HOME_USER/contrib" "$AFP_BASE/admin/components/afp" from the file afp-2022-06-24/admin/settings.

view this post on Zulip Fabian Huch (Jun 27 2022 at 09:40):

If you re-download, everything should work out of the box.


Last updated: Jul 15 2022 at 23:21 UTC