No problem.  I am on an old Pentium M processor (i.e. x86), with 1GB
of RAM.  The OS is Ubuntu 8.04 (Hardy Heron).

Best,

Steven

2009/1/24 Rob Arthan <r...@lemma-one.com>:
> Steven,
>
> Thanks for that. What operating system and hardware are you running on?
>
> Regards,
>
> Rob.
>
> On 24 Jan 2009, at 17:24, Steven J. Ramsay wrote:
>
>> 2009/1/24 Rob Arthan <r...@lemma-one.com>:
>>>
>>> What do the first few lines lok like? I expect they look something like:
>>>
>>> val it = () : unit
>>> val it = () : unit
>>> === ProofPower 2.8.1a10 [HOL Database]
>>> === Copyright (C) Lemma 1 Ltd. 2000-2008
>>> Database name:
>>>
>>> I.e., no database name (this is what Artur was seeing). Can you try  the
>>> following command after the failed build:
>>>
>>
>> Yes, the first lines are the same (except the copyright is 2000-2009).
>>
>>> TESTVAR="testing" ./src/pp-ml ./src/zed.polydb
>>>
>>> This should start an interactive session on your as yet incomplete zed
>>> database. You should see something like this
>>>
>>> val it = () : unit
>>> val it = () : unit
>>> === ProofPower 2.8.1a10 [HOL/Z Database]
>>> === Copyright (C) Lemma 1 Ltd. 2000-2009
>>> Database name:
>>> :)
>>>
>>> In response to the ":)" prompt try:
>>>
>>> get_shell_var "TESTVAR" ;
>>>
>>> I get:
>>>
>>> val it = "testing" : string
>>>
>>> Now try:
>>>
>>> OS.Process.getEnv "TESTVAR" ;
>>>
>>> I get:
>>>
>>> val it = SOME "testing" : string Option.option
>>>
>>> Does this work the same for you?
>>>
>>
>> Yes, all those tests delivered the same results.
>>
>> Thanks,
>>
>> Steven
>>
>>
>>
>> --
>> Steven Ramsay
>> Research Student
>> Oxford University Computing Laboratory
>>
>> _______________________________________________
>> Proofpower mailing list
>> Proofpower@lemma-one.com
>> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
>
>



-- 
Steven Ramsay
Research Student
Oxford University Computing Laboratory

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

Reply via email to