It ends with:
ar...@firebird:~/Proofpower/OpenProofPower-2.8.1a10$ cat src/dtd048.ldd
cat: src/dtd048.ldd: No such file or directory
2009/1/23 Rob Arthan
> Artur (& Steven),
>
> On 23 Jan 2009, at 17:23, Artur Oliveira Gomes wrote:
>
> Hi there,
>>
>> Build.log output:
>>
>
> ...
>>
>> ar...
It ends with:
val it = () : unit
+++ Compiled dtd048.sml: OK (Compilation Run Complete) +++
Exception Fail * The database name has not been set
[save_and_exit.36010] * raised
2009/1/23 Rob Arthan :
> Artur (& Steven),
>
> On 23 Jan 2009, at 17:23, Artur Oliveira Gomes wrote:
>
>> Hi there,
>>
>
Artur (& Steven),
On 23 Jan 2009, at 17:23, Artur Oliveira Gomes wrote:
Hi there,
Build.log output:
...
ar...@firebird:~/Proofpower/OpenProofPower-2.8.1a10$ cat src/
dtd048.log
cat: src/dtd048.log: No such file or directory
Sorry, I mean src/dtd048.ldd - what do you have in that?
Rega
Hi there,
Build.log output:
sieve: using keyword file sievekeyword
sieve: using keyword file hol.svf
sieve: using keyword file sievekeyword
sieve: using keyword file hol.svf
Compiling (code) imp048.sml
pp: PPHOME set by caller to /usr/local/pp
pp: PATH set by caller to
/home/artur/Proofpower/Open
Steve,
On Friday 23 Jan 2009 5:16 pm, Steven J. Ramsay wrote:
> After following your instructions, the build does not progress any
> further, the last output of build.log is:
>...
> Would you like to see any other output? It may or may not be helpful
> to know that my poly is not installed into th
After following your instructions, the build does not progress any
further, the last output of build.log is:
Compiling (code) dtd048.sml
pp: PPHOME set by caller to /usr/local/pp
pp: PATH set by caller to /usr/local/src/OpenProofPower-2.8.1a10/src:/usr/bin:/u
sr/local/sbin:/usr/local/bin:/usr/sbin
Steven,
Can you try it with the replacement for src/imp111.doc contained in the
attachement. Run ./distclean to tidy up, then run ./configure as you did
before then install using
PPENVDEBUG=y ./install
This should give us some more diagnostics in build.log. Look for
lines beginning "Using PPD
Dear list,
I have the same problem as Artur. The machine that I am trying to
install to has never had a pp installation on it as far as I can
remember.
The first lines of pp read:
#! /bin/sh
# pp From: imp111.doc,v 1.57 2008/07/24 15:55:01 rda Exp %Z%
#
# Shell script to start a ProofPo
