HomeIsabelle/Phabricator

Remove FFI_SYSV from abi table for X86/64 Unix. It appears that this has been…
ad32de7f181aUnpublished

Unpublished Commit · Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Remove FFI_SYSV from abi table for X86/64 Unix. It appears that this has been removed in upstream versions of libffi and causes problems when building using the system libffi.

Details

Provenance
dcjmAuthored on Apr 7 2019, 2:41 PM
Parents
rPOLYMLd39913944fda: Merge branch 'master' of https://github.com/dcjm/polyml
Branches
Unknown
Tags
Unknown

Event Timeline