HomeIsabelle/Phabricator
Diffusion Poly/ML 586e225c002c

Changes to configure. Only allow enable-compact32bit on native X86/64.
586e225c002cUnpublished
Actions

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

Changes to configure. Only allow enable-compact32bit on native X86/64.

Details

Provenance
dcjmAuthored on Apr 9 2019, 12:58 PM
Parents
rPOLYMLad32de7f181a: Remove FFI_SYSV from abi table for X86/64 Unix. It appears that this has been…
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (2)

PathSize

rPOLYML586e225c002c

View Options

configure

Loading...
View Options

configure.ac

Loading...