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 the default location, I had > to set PPPOLYHOME; but otherwise I think everything is fairly > standard.
What do you have in src/dtd048.log? Regards, Rob. _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
