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
