The build system uses PolyML.make not the usual make system. There is a
short description of it here:
https://polyml.org/documentation/Reference/PolyMLMake.html . The
backends are built as a result of this line in
mlsource/MLCompiler/CodeTree/ml_bind
structure GCode = GCode
This
Hi David,
Thank you for your answer. You're right - I have to understand a lot more
in order to be able to create a new backend. I may have many more
questions.
I guess the first one is: for a rebuild of the compiler (from the last
bootstrap stage, not from scratch), how does the build system
Hi Andrei,
It would be interesting to have another back-end but I really don't
think what you are suggesting is feasible. There are currently three
back-ends: native code for the X86(32/64), native code for the ARM64 and
byte code. The byte code is interpreted by part of the run-time system
