[polyml] building polyml on Alpine Linux

2020-10-16 Thread David Topham
I have been trying to get polyml working on Alpine Linux 32-bit Since there is't yet a package to install it, I tried getting the source from github When doing make, I first got error about missing libffi directory. I thought I may bypass that by configuring with option to use system libffi

Re: [polyml] PolyML REPL

2020-10-16 Thread David Matthews
Poly/ML generates native machine code on the X86 (32 and 64) both for files compiled with "use" and input typed at the console. On anything other than the X86 it compiles to an interpreted byte code. Regards, David On 16/10/2020 04:02, Anton Lobach wrote: Hi, Does PolyML REPL produce

[polyml] PolyML REPL

2020-10-16 Thread Anton Lobach
Hi, Does PolyML REPL produce native code or does it work as an interpreter? Regards, Anton Lobach ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml