Rob, Though your suggestion didn’t work for me, David Matthews said I should try the latest master from the polyml repo, and that built OK without any changes.
I have now succeeded in building on master from the pp git repo. All module tests passed, but xpp says “can’t open display”. It is a very long time since I used xpp, my more recent formal work has been done in utf8 using emacs, and I don’t think I have ever used app on a Mac, so there is probably some step I omitted. I had a bit of difficulty finding mkfontdir, but eventually found it in the mkfontscale cask from brew. I’ll see if the utf8 branch will build for me. Roger
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
