*** [SQLITE_BUSY] The database file is locked (database is locked)

[Florian Haftmann]

> Recently, a problem emerged:
> 
> $ isabelle build -b Pure
> *** [SQLITE_BUSY] The database file is locked (database is locked)
> 
> I am using rev c8d92d4ced73 and a minimal ~/.isabelle/etc/settings:
> 
> init_components "${ISABELLE_COMPONENTS_BASE:-$USER_HOME/.isabelle/ 
> contrib}" "$ISABELLE_HOME/Admin/components/main"
> 
> What is going wrong here? Maybe NFS makes problems.

Redirecting ISABELLE_HEAPS to /tmp/… helps.

Seems to be an issue with NFS.

Indeed, sqlite has some reputation to pose problems with network file 
systems, or certain configurations of them.

Since there is a work-around, it is maybe not worth pursuing further.

	Florian

-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0xA707172232CFA4E9.asc
Type: application/pgp-keys
Size: 22777 bytes
Desc: OpenPGP public key
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20250717/221ad48b/attachment.key>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20250717/221ad48b/attachment.sig>