Hello,
I'm trying to diagnose a problem with polyc.
$ echo 'fun main() = TextIO.output(TextIO.stdOut,"Hello World");' > helloworld.sml $ polyc -o helloworld helloworld.sml Exception- SysErr ... raised
This happens regardless of the program being compiled. I took a look at what polyc is doing, and so I ended up with the following:
$ echo "use "helloworld.sml"; PolyML.export("helloworld", main);" | poly -q --error-exit $ gcc -O3 -I../libffi/include helloworld.obj -o helloworld -L/usr/local/lib -lpolymain -lpolyml -lgdi32 -lwsock32 -lstdc++ -lgcc_s -lgcc /usr/lib/gcc/i686-pc-cygwin/4.8.3/../../../../i686-pc-cygwin/bin/ld: cannot find -lpolymain /usr/lib/gcc/i686-pc-cygwin/4.8.3/../../../../i686-pc-cygwin/bin/ld: cannot find -lpolyml collect2: error: ld returned 1 exit status
I am running Windows with Cygwin. Was there a configuration I should have done that I missed? "poly" appears to work fine; the error occurs in gcc because the libraries weren't found. When I checked /usr/local/lib/ or /usr/lib/, I also could not find any libpolymain.a or libpolyml.a files. Shouldn't these have been created by the make script?
Mario