Re: [ProofPower] ProofPower build problems (was, Re: GUI Interface (Motif))

2014-12-18 Thread David Topham
Maybe another non-Posix issue? Attached is latest build attempt. This time it fails trying to build processes.cpp because pthread functions are undefined... (setting OS=linux made progress, then I had to install mkfontdir utility and load the Xp libraries as well before getting to the current erro

Re: [ProofPower] ProofPower build problems (was, Re: GUI Interface (Motif))

2014-12-18 Thread Rob Arthan
David, > On 17 Dec 2014, at 00:19, David Topham wrote: > > Maybe another non-Posix issue? Attached is latest build attempt. This time > it fails > trying to build processes.cpp because pthread functions are undefined... > (setting OS=linux made progress, then I had to install mkfontdir utility