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:

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

Reply via email to