Igor, It looks like an incompatibility with SML/NJ has slipped through. I will correct this and supply a patch. In the mean time, I strongly recommend you to use Poly/ML rather than SML/NJ if you can. Poly/ML is much faster and uses a lot less memory than SML/NJ. It is also better supported these days.
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 <r...@lemma-one.com> > > 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 > > Proofpower@lemma-one.com > > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com > > > <imp116.err>
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
