Fix libffi 3.3 build on Unix i386
Unix i386 uses FFI_SYSV, not FFI_UNIX64.
Description
Description
Details
Details
- Provenance
James Clarke <jrtc27@jrtc27.com> Authored on Jan 19 2020, 4:18 PM - Parents
- rPOLYML5237b653aa69: Rename Root.ML to avoid possible conflict with ROOT.ML in Isabelle.
- Branches
- Unknown
- Tags
- References
- refs/pull/122/head