Igor, You would need to use an old version (4.2) of Poly/ML for version 2.7.8 of ProofPower. Do you have a special reason for not using the latest version (2.8.1) of ProofPower?
Regards, Rob. On 16 Nov 2009, at 19:44, Igorj V wrote: > when using polyML still some error; missing ML_dbase (tryed find -name > '*ML_dbase*') > > ig...@igorj-laptop:~/Desktop/OpenProofPower-2.7.8$ ./configure > Using /opt/pp as the installation target directory > Using Poly/ML > ERROR: The file "/usr/lib/poly/ML_dbase" does not exist > > > 2009/11/16 Rob Arthan <[email protected]> > Igor, > > PS: the mailing list rejects posts with big attachments. If you need to send > a log file bigger than 30kb or so it is probably better to post an extract > first. In this case, the extract was all I needed to see. > > Regards, > > Rob. > > On 15 Nov 2009, at 18:32, Igorj V wrote: > >> thanx you are right; >> futher how to understand what is missing ?! >> >> file imp116.err contains (from programming languages am studing java ;) >> >> <instream>:1.278825 Error: overloaded variable not defined at type >> symbol: * >> type: INTEGER >> <instream>:1.278813 Error: overloaded variable not defined at type >> symbol: * >> type: INTEGER >> <instream>:1.279323 Error: overloaded variable not defined at type >> symbol: * >> type: INTEGER >> <instream>:1.279328 Error: overloaded variable not defined at type >> symbol: + >> type: INTEGER >> <instream>:1.279246 Error: overloaded variable not defined at type >> symbol: * >> type: INTEGER >> <instream>:1.280628 Error: overloaded variable not defined at type >> symbol: + >> type: INTEGER >> <instream>:1.280592 Error: overloaded variable not defined at type >> symbol: + >> type: INTEGER >> <instream>:1.280771 Error: overloaded variable not defined at type >> symbol: + >> type: INTEGER >> Exception+ (Exception: Error: Error) abandoning file imp116.sml at line 5682 >> *** (Exception: Stop: Stop) *** >> >> >> 2009/11/15 Rob Arthan <[email protected]> >> >> On 14 Nov 2009, at 11:01, Igorj V wrote: >> >> > trying t install OpenProofPower-2.7.8 >> > appears some error >> > >> > how to read build.log file?! >> >> It is telling you that it failed while compiling file imp116.sml. The output >> from the compilation will be in the file src/imp116.err. Have a look at that. >> >> Regards, >> >> Rob. >> >> > <build.log>_______________________________________________ >> > Proofpower mailing list >> > [email protected] >> > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com >> >> >> <imp116.err> > > > _______________________________________________ > 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
