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
