Platform build notes

PolyML on MacOS X

On my machine, where PolyML's libraries are installed in /usr/local/lib, after running 'make polyml', I needed the following command line to get a working 'smack' binary:

g++ -m64 -o bin/smack smack-poly.o -L/usr/local/lib -lpolyml -lpolymain -segprot POLY rwx rwx