On 21 Nov 2009, at 04:40, <m...@proof-technologies.com> 
<m...@proof-technologies.com> wrote:

> I've been trying to install ProofPower 2.8.1p2 on a very recent Ubuntu
> release (I'm sorry I don't have the precise release version right
> now).

Have a look at the file /etc/issue.

>  So far I've just been trying to get 'xpp' installed.  Having
> installed tex, I tried configure:
> 
>    PPTARGETS="xpp" PPHOME=/home/dangdat/flyspeck/pp/pp-2.8.1p2
> ./configure
> 
> To result in this:
> 
>    Using /home/dangdat/flyspeck/pp/pp-2.8.1p2 as the installation
> target directory
>    Using dynamic linking for Motif
>    [: 321: unexpected operator

That's unusual. It looks like the shell complaining about the syntax of the 
configure script. But it works for me and others.

>    Generating code to install the following packages: xpp
>    If you are happy with these settings, now run ./install to install
> ProofPower.
> 
> Not sure what the "[: 321: unexpected operator".
>  Anyway, I tried
> install:
> 
>    OpenProofPower installation begins [Fri Nov 20 17:27:23 2009] ...
>    Moving to build directory /home/dangdat/flyspeck/pp/pp-2.8.1p2/src
>    Building xpp
>    See /home/dangdat/flyspeck/pp/pp-2.8.1p2/build.log for messages
>    install: installation failed; see
> /home/dangdat/flyspeck/pp/pp-2.8.1p2/build.log for more details
> 
> The build log shows failure 26 lines in...
> 
>    chmod u+x makehelp.sh
>    makehelp.sh
>    troff: fatal error: can't find macro file s
>    0
>    ?
>    ?
>    .... (and so on)
>    ?
>    ?
>    219
>    ?
>    ?
>    195
>    make[1]: *** [help.h] Error 1
>    make[1]: Leaving directory
> `/home/dangdat/flyspeck/pp/pp-2.8.1p2/src'
>    make: *** [xpp] Error 2
> 
> Looking at makehelp.sh, there is the following on line 20:
> 
>    r ! nroff -ms help.txt

See:

http://lemma-one.com/pipermail/proofpower_lemma-one.com/2009-October/000576.html

Regards,

Rob.

> 
> Presumably it's the '-ms' in this line, but I don't know.  Any ideas
> anyone?
> 
> Mark.
> 
> _______________________________________________
> 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