Steven, Artur,

I think it will probably be easiest if I try to build a Ubuntu 8.04 system and 
see if I can reproduce the problem. I will keep you posted.

Artur: are you using Ubuntu too?

Regards,

Rob.

On Saturday 24 Jan 2009 7:06 pm, Steven J. Ramsay wrote:
> 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


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

Reply via email to