HomeIsabelle/Phabricator

Put the CODEISNOTEXECUTABLE flag in the Makefile rather than in configure.

Description

Put the CODEISNOTEXECUTABLE flag in the Makefile rather than in configure.

Details

Provenance
dcjmAuthored on Oct 20 2020, 8:49 AM
Parents
rPOLYML801714a708bc: Use a .data.rel.ro section for the read-only data instead of a .rodata section.
Branches
Unknown
Tags
Unknown