Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Naproche-SAD Error

Kubra (Aug 16 2022 at 22:36):

Dear all,

I got two errors while opening Isabelle that lead not to execute codes. The error screen shows:

Build started for Isabelle/HOL ...

Ignoring bad database "/home/k/k_aksoy/.isabelle/Isabelle2021-1/heaps/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?

Thank you for your help!

Regards,
Kubra

Last updated: Jan 04 2025 at 20:18 UTC