Email Gateway (Aug 19 2022 at 16:38): 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
$ 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
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: Nov 21 2024 at 12:39 UTC