On 27/08/2015 13:37, David Matthews wrote:
This was something else I discovered and mentioned in a private email to Makarius. There's a problem, hopefully temporary, with compiling and linking in a single step. The "polyc" script creates the name of a temporary file and passes it to "poly" as the file name to use when exporting the compiled source. Unfortunately it uses a name of the form "/tmp/polyobj.1234.obj" and "poly", being a Windows executable, doesn't understand "/tmp" and chokes. The work-around is to do the compilation in two steps: polyc -c hello.ml polyc hello.obj
This was complicated because Msys redefines the TEMP environment variable as /tmp. Fortunately it seems to save the original in "temp" (lower case) so I've been able to commit a fix that seems to allow polyc to compile and link in a single step.
David _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
