13 Jul
2015
13 Jul
'15
12:43 p.m.
Hi Christian, Thanks for the patch. I've committed it to the Git repository. By the way, what platform did you use for this? Was it hardware or an emulator?
Regards, David
On 10/07/2015 16:23, Christian Neukirchen wrote:
Hi,
I have added 64-bit ARM support for PolyML, using the interpreted mode. It seems to be enough to natively compile and run the test suite completely.
Tested on Linux voidarm64 3.16.0-37-generic #51-Ubuntu SMP Tue May 5 13:51:19 UTC 2015 aarch64 aarch64 aarch64 GNU/Linux
Enjoy,
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml