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 <[email protected]>: > > 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 <[email protected]>: > >>> 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 > >> [email protected] > >> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
