David,
26/09/13 18:31, David Matthews wrote:
I've just committed support for pkg-config with Poly/ML. Would you like to have a look at it and see if it works as you expect? Let me know if there are any changes needed. You had separate versions for the shared and static libraries. I can see why you did that but it looks like it would be a lot more work.
Thanks for the update. The polyml.pc file appears to be generated as expected. Using one set of linking flags for shared and static libraries does not appear to matter actually: although unnecessary linker flags can create unnecessary library dependencies, ldd shows that there isn't any additional dependency when linking to the shared library using the static flags.
I couldn't actually do a complete stand-alone test with r1862 because it wouldn't build on my machine - see output below. (My guess is that r1859 is causing the problem. Maybe the shift left is overflowing on x86_64 giving zero?)
Regards, Phil
./polyimport -H 50 polytemp.txt -I . < ./exportPoly.sml
Value of -H option is too large -H <Initial heap size (MB)> --minheap <Minimum heap size (MB)> --maxheap <Maximum heap size (MB)> --gcpercent <Target percentage time in GC (1-99)> --stackspace <Space to reserve for thread stacks and C++ heap(MB)> --gcthreads <Number of threads to use for garbage collection> --debug <Debug options: checkmem, gc, x> --logfile <Logging file (default is to log to stdout)> Debug options: checkmem <Perform additional debugging checks on memory> gc <Log summary garbage-collector information> gcdetail <Log detailed garbage-collector information> memmgr <Memory manager information> threads <Thread related information> gctasks <Log multi-thread GC information> heapsize <Log heap resizing data> x <Log X-windows information> sharing <Information from PolyML.shareCommonData> locks <Information about contended locks> rts <General run-time system calls> make[2]: *** [polyexport.o] Error 1 make[2]: Leaving directory `/home/pclayton/SML/PolyML/svn/trunk/polyml' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/home/pclayton/SML/PolyML/svn/trunk/polyml' make: *** [all] Error 2