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 <r...@lemma-one.com>

> 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 <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

Reply via email to