HomeIsabelle/Phabricator

Add an option to disable thread creation and run everything on a single thread.

Description

Add an option to disable thread creation and run everything on a single thread. This is an attempt to get round a bug
in some Apple code that requires GUI code to be run on the main thread. Does not affect GC threads.

Details

Provenance
dcjmAuthored on Mar 15 2021, 8:42 AM
Parents
rPOLYMLbf2020d077bf: Only check for libffi if we are building the interpreted version.
Branches
Unknown
Tags
Unknown