Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP installation instructions


view this post on Zulip Email Gateway (Aug 19 2022 at 16:38):

From: Joachim Breitner <breitner@kit.edu>
Hi,

I tried to register the AFP as a component as described in
http://afp.sourceforge.net/using.shtml
but it would not work:

$ tail -n 4 /opt/isabelle/Isabelle2014/etc/components
contrib/z3-4.3.2pre-1
contrib/xz-java-1.2-1

/opt/isabelle/afp-2014-11-03

$ ls /opt/isabelle/afp-2014-11-03
etc thys tools

and yet I get: "Undefined environment variable: AFP" in Isabelle/jEdit.

I also found instructions on
https://isabelle.in.tum.de/community/Building_AFP
telling me to use
init_component "/opt/isabelle/afp-2014-11-03"
in .../etc/settings but that also had no effect (either system-wide or
in the personal directory).

What did I do wrong?

Greetings,
Joachim
signature.asc

view this post on Zulip Email Gateway (Aug 19 2022 at 16:38):

From: Joachim Breitner <breitner@kit.edu>
Hi,

as usually, the problem becomes clear the moment the mail is sent: When
extracting the release
(http://sourceforge.net/projects/afp/files/latest/download) as root it
is not readable for other users (and using Isabelle/jEdit no helpful
error message was shown).

After fixing the permissions with "chmod a+Xr -R afp-2014-11-03/" it
works.

Nevertheless I suggest to unify http://afp.sourceforge.net/using.shtml
and https://isabelle.in.tum.de/community/Building_AFP to use the same
mechanism (if they are indeed equivalent).

Sorry for the noise,
Joachim
signature.asc


Last updated: Mar 28 2024 at 08:18 UTC