On 19/10/2020 21:08, David Matthews wrote:
Yes, using .data.rel.ro., i.e. relocatable read-only data.
Thanks, Jess. That seems to work, at least on SELinux and Alpine.
OpenBSD seems to still want it to be writeable.
I've now changed the ELF exporter to write the data to .data.rel.ro.
The byte code interpreted version (--disable-native-codegeneration) now
builds without a problem on Alpine Linux and on SELinux with hardening
turned on. That isn't a complete solution because it doesn't deal with
native code but it does show that if code could be handled everything
else will work.
I see this primarily as future-proofing Poly/ML. It's not unlikely that
a future release of, say Mac OS X, might outlaw TEXTRELs.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
