On 21 Nov 2009, at 04:40, <m...@proof-technologies.com>
> 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
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
> 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
> Not sure what the "[: 321: unexpected operator".
> Anyway, I tried
> 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
> troff: fatal error: can't find macro file s
> .... (and so on)
> make: *** [help.h] Error 1
> make: Leaving directory
> make: *** [xpp] Error 2
> Looking at makehelp.sh, there is the following on line 20:
> r ! nroff -ms help.txt
> Presumably it's the '-ms' in this line, but I don't know. Any ideas
> Proofpower mailing list
Proofpower mailing list