Email Gateway (Aug 23 2022 at 09:13): Email Gateway (Aug 23 2022 at 09:13):From: Burkhart Wolff <wolff@lri.fr>
Dear all,
we have an installation problem on SOME MacOS Catalina 10.15.5
machines and would be grateful if someone could give us a hint
for the possible causes.
If we install Isabelle_C on our major developper machines from scratch
(by git clone https://gitlri.lri.fr/ftuong/isabelle_c
then isabelle2019 build -d . Isabelle_C_Clean
or isabelle2019 build -d . Isabelle_C_AutoCorres)
everything works fine.
On some newly bought machines, we see the following deep crash in
the build process:
*** Bad session root directory: "/private/var/folders/_c/85f3q_x54mq6yk1rrp3lmnw40000gq/T/hsperfdata_bu”
I checked the access rights for /private/var/folders and found no differences.
Any ideas ?
Best regards,
bu
Email Gateway (Aug 23 2022 at 09:14):From: Makarius <makarius@sketis.net>
I guess you merely need to ensure that ISABELLE_TMP_PREFIX exists as a
directory, e.g. by starting Isabelle/jEdit once.
Moving from Isabelle2019 to current Isabelle2020 the problem disappears, due
to this change https://isabelle-dev.sketis.net/rISABELLE391ea80ff27c443
Makarius
Email Gateway (Aug 23 2022 at 09:16):From: Burkhart Wolff <wolff@lri.fr>
Dear Makarius,
no the problem didn’t go away for Isabelle2019 (on this particular machine).
I have reading and writing permission in the /private/vars/folder space,
so under ISABELLE_TMP_PREFIX.
The only slightly awkward thing is the _c in the path that might produce
conflicts on MacOS machines (or not) - I guess that these names were
hashes from some config data and therefore more or less random ?
[In that case, this could be a kind of configuration - Heisenbug…]
Indeed, under Isabelle2020 Isabelle_C compiles smoothly even on this
machine; however, we do not have AutoCorres under 2020 yet, unfortunately.
So I am forced to run for the current demos the Isabelle/C/AutoCorres config
on a relatively old machine.
Ben tant pis.
Lets hope that the problem simply goes away if we can definitively switch to 2020.
bu
Last updated: Apr 26 2024 at 20:16 UTC