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 > [email protected] > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
