David, I have just pulled get rev d7b9234f2793aef14b984ad808bbdfc6e1c59403 and get the following when I do make compiler (after configure with no options other than —prefix=/usr/local/poly/dev):
Making all in libpolymain make[3]: Nothing to be done for `all'. Making all in . ./polyimport polytemp.txt -I . < ./exportPoly.sml Assertion failed: (ch == '\n'), function DoImport, file pexport.cpp, line 728. /bin/sh: line 1: 98398 Abort trap: 6 ./polyimport polytemp.txt -I . < ./exportPoly.sml make[3]: *** [polyexport.o] Error 134 make[2]: *** [all-recursive] Error 1 make[1]: *** [all] Error 2 make: *** [compiler] Error 2 Regards, Rob. _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml