HomeIsabelle/Phabricator

Remove no_pie option for Mac OS. We're now generating position-independent…

Description

Remove no_pie option for Mac OS. We're now generating position-independent code.

Details

Provenance
dcjmAuthored on Apr 11 2021, 8:00 PM
Parents
rPOLYML12ad95001568: Only try with MAP_JIT trying to allocate fails without it. Earlier versions
Branches
Unknown
Tags
Unknown