Roger, 

As regards your problem with xpp, do you have a working installation of XQuartz 
 or some other X Windows implementation on your system? Does xterm work?

Regards,

Rob.

> On 13 Apr 2025, at 22:19, Roger Jones <[email protected]> wrote:
> 
> 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

_______________________________________________
Proofpower mailing list
[email protected]
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to