Igorj,

Can you try running it like this to give some more diagnostic output:

PPENVDEBUG=y ../bin/pp_make_database -p hol demo

Regards,

Rob.

On 18 Nov 2009, at 13:18, Igorj V wrote:

>  command pp_make_database -p hol receives such error ; what is missing?!
> 
> ig...@igorj-laptop:/opt/pp/db$ ../bin/pp_make_database -p hol demo
> ../bin/pp_make_database: line 157: findfile: command not found
> ../bin/pp_make_database: line 158: findfile: command not found
> pp_make_database: database hol.polydb not found
> ig...@igorj-laptop:/opt/pp/db$ 
> 
> _______________________________________________
> 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

Reply via email to