Sarah,

The reason why you had problems after setting the PATH variable to point to the ProofPower binary directory is because you set it to include only that one directory, so xpp was found, but lots of other necessary binaries were no longer in the search path.


As recommended by Phil, the correct procedure is to add the ProofPower directory into the default PATH value so that all the original directories remain.
This is what Phil recommended:

PATH=/home/sarah/pp/bin:$PATH

in which the original value of the $PATH variable is included in the new value.

This is very basic linux stuff, if possible you should find someone local to help you with this kind of thing until you get better acquainted with how to use linux, since resolving problems at this level through the ProofPower list will be very slow and tortuous.

Roger



_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to