Email Gateway (Aug 17 2022 at 08:36): Email Gateway (Aug 17 2022 at 08:36):From: kubraaksoy22@gmail.com
Dear all,
I got two errors while opening Isabelle that cause an inactive prover process.
The error screen shows:
Build started for Isabelle/HOL ...
polyml-2.9_x64-linux/log/Pure.db
Building Pure ...
*** Naproche-SAD server failure
*** Naproche-SAD: failed to create OS thread: Resource temporarily unavailable
Return code: 2 (FAILURE)
Session build failed -- prover process remains inactive!
What can I do for solving this issue?
Thanks for your help
Regards,
Kubra
Email Gateway (Aug 17 2022 at 11:37):From: Makarius <makarius@sketis.net>
This looks like a general existence failure of the Isabelle/Pure sessions
image (Pure.db).
Maybe something is wrong with your download, or maybe there was a file-system
problem while extracting the downloaded tar.gz
Makarius
Email Gateway (Aug 17 2022 at 11:41):From: Makarius <makarius@sketis.net>
Additional note: you should purge the
/home/k/k_aksoy/.isabelle/Isabelle2021-1/heaps directory.
Makarius
Kubra (Oct 17 2022 at 21:36):Thank you for the response. Now, I am facing again same error, but not showing the specific path. Attached you can find related ss.
Naproche-SAD server failure
Naproche-SAD: failed to create OS thread: Resource temporarily unavailable
I tried to purge .isabelle and build again, but it did not work.
If you have any further suggestions to solve this issue, I would be happy.
Thanks in advance.
Regards,
Kubra
Last updated: Jan 04 2025 at 20:18 UTC