Hi Rob, I have just got the problem solved. The problem is that it is the first time that I installed xquartz, therefore, I need to logout and log back in, so that system can update the DISPLAY environment variable…
> That sounds like an X Windows configuration problem. Here are a few questions > that may help to diagnose the problem. Although the problem has been solved, I still answer those questions just for future reference. > Are you using XQuartz or some other X Windows implementation? xquzrtz > Is X Windows running? yes > Can you run XQuartz from the Applications folder? yes > Can you run any other X applications like xterm? yes best, Yuhui > 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 >> [email protected] >> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com > ----- 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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
