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

_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to