Thanks for trying that out and letting me have your comments.
On 07/04/2013 23:55, Phil Clayton wrote:
polyc looks very useful. I just tried it out for 1723 and noticed a few
things:
1. -L${LIBDIR} is missing in the case when -o is not specified, causing
the error:
/usr/bin/ld: cannot find
Dear all,
I am experiencing inefficiency while using the Futures library within PolyML.
Parallel threads are being forced to 'sleep' for several seconds at a time for
no clear reason, and I suspect it may be due to memory management between
multiple threads.
The test machine has 80GB RAM and
On 08/04/13 12:21, David Matthews wrote:
3. In the polyc that was built, I see
EXTRA=
As it stands, the Poly/ML lib directory is not added to the linker path
so I presume (for Linux) that this was meant to contain something like
-Wl,-rpath ${LIBDIR}
so that it is not necessary to set
