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
