We reproduced the same problem with Ubuntu 8.10 (Intrepid Ibex) on
Paul's machine.
Thanks to Paul Whittaker who pointed out that, on Ubuntu, /bin/sh points
to dash (a faster more cut-down POSIX-compliant shell) rather than bash,
otherwise I could have wasted a fair bit of time debugging in the wrong
shell! (This has been the case since Ubuntu 6.1, release in 2006.)
Indeed this difference causes the difference in behaviour because
particular lines in the pp script (possibly other scripts) are
interpreted differently.
The problem is due to the use of the shell built-in eval on lines 222
and 225. Basically, in bash, the environment variable PPDATABASENAME is
passed through by eval to its command but in dash it is not. Try the
following commands on e.g. Fedora and Ubuntu:
echo "#! /bin/sh" > echox
echo "echo \$X" >> echox
X=hello eval echox
On Fedora (where /bin/sh points to bash) you get 'hello' echoed back but
on Ubuntu (where /bin/sh points to dash) you get nothing echoed back. I
don't know what the correct semantics is.
One option is to do the equivalent of
eval X=hello echox
which appears to give the same on each system.
Regards,
Phil
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
The information contained in this E-Mail and any subsequent
correspondence is private and is intended solely for the intended
recipient(s). The information in this communication may be
confidential and/or legally privileged. Nothing in this e-mail is
intended to conclude a contract on behalf of QinetiQ or make QinetiQ
subject to any other legally binding commitments, unless the e-mail
contains an express statement to the contrary or incorporates a formal Purchase Order.
For those other than the recipient any disclosure, copying,
distribution, or any action taken or omitted to be taken in reliance
on such information is prohibited and may be unlawful.
Emails and other electronic communication with QinetiQ may be
monitored and recorded for business purposes including security, audit
and archival purposes. Any response to this email indicates consent
to this.
Telephone calls to QinetiQ may be monitored or recorded for quality
control, security and other business purposes.
QinetiQ Limited
Registered in England & Wales: Company Number:3796233
Registered office: 85 Buckingham Gate, London SW1E 6PD, United Kingdom
Trading address: Cody Technology Park, Cody Building, Ively Road, Farnborough, Hampshire, GU14 0LX, United Kingdom
http://www.qinetiq.com/home/notices/legal.html
_______________________________________________
Proofpower mailing list
[email protected]
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
