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 > > -- Steven Ramsay Research Student Oxford University Computing Laboratory _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
