Yuhui, > On 7 Dec 2015, at 12:42, Lin, Yuhui <y....@hw.ac.uk> wrote: > > Hi all, > > I’ve got a problem when installing proofpower on OSX 10.11.1. No error > message is promoted when configure and install, but the following error > message is promoted when I tried to run proof power with the command: xpp -d > hol > Error: Can't open display: >
That sounds like an X Windows configuration problem. Here are a few questions that may help to diagnose the problem. Are you using XQuartz or some other X Windows implementation? Is X Windows running? Can you run XQuartz from the Applications folder? Can you run any other X applications like xterm? Regards, Rob > Some output from ./install are: > ===== > $ ./install > OpenProofPower installation begins [Mon Dec 7 12:23:24 2015] ... > Moving to build directory /Users/yuhuilin/opt/src/ProofPowerPro-3.1w4/src > Building pptex dev xpp hol zed daz qcz > See /Users/yuhuilin/opt/src/ProofPowerPro-3.1w4/build.log for messages > Build complete [Mon Dec 7 12:26:27 2015] ... > Moving to installation directory /Users/yuhuilin/opt/pp-3.1.w4 ... > See /Users/yuhuilin/opt/pp-3.1.w4/<package>.log for messages > Installing hol demo database > Installing zed demo database > Generating HTML roadmap to the documents: > /Users/yuhuilin/opt/pp-3.1.w4/doc/index.html > Installation complete [Mon Dec 7 12:26:35 2015] > ===== > > The configure command which I used is > PPHOME=~/opt/pp-3.1.w4 PPMOTIFHOME=/usr/local/Cellar/openmotif/2.3.4 > ./configure > where the openmotif is installed using brew > > Also, the command line, i.e. pp, can be started properly, i.e. pp -d hol > > Any hints how to solve this problem ? Many thanks. > > best, > Yuhui > > > > We invite research leaders and ambitious early career researchers to join us > in leading and driving research in key inter-disciplinary themes. Please see > www.hw.ac.uk/researchleaders for further information and how to apply. > > Heriot-Watt University is a Scottish charity registered under charity number > SC000278. > _______________________________________________ > Proofpower mailing list > Proofpower@lemma-one.com > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com