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