On 27/08/2015 07:33, Artella Coding wrote:
Hi, so I reinstalled with i686-4.9.3-win32-dwarf-rt_v4-rev0 and used the
appropriate CPPFLAGS, and this time everything went fine (i.e. make, make
compiler, and make install worked fine without error)
But now if I create a "hello.ml" with the contents :
fun main () = print "Hello World\n";
and compile it with "polyc" I get the following error :
$ polyc hello.ml
Exception- SysErr ... raised
Do you know what might be going wrong?
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
David
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
