HomeIsabelle/Phabricator

Add configure tests for libffi and ffi.h in case we're building the interpreted…

Description

Add configure tests for libffi and ffi.h in case we're building the interpreted version and need them.

Details

Provenance
dcjmAuthored on Jul 22 2020, 5:45 PM
Parents
rPOLYML0e4a53fdf878: Another basis file that needs a different version after the compiler has been…
Branches
Unknown
Tags
Unknown