HomeIsabelle/Phabricator

Merge pull request #122 from jrtc27/libffi-i386

Description

Merge pull request #122 from jrtc27/libffi-i386

Fix libffi 3.3 build on Unix i386

Details

Provenance
dcjmAuthored on Jun 28 2020, 2:57 PM
GitHub <noreply@github.com>Committed on Jun 28 2020, 2:57 PM
Parents
rPOLYMLacfd07bf45a1: Support the "touch" built-in in the interpreter. c.f. ed4fbb81
rPOLYML368a2bf0fb3a: Fix libffi 3.3 build on Unix i386
Branches
Unknown
Tags
Unknown