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). 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
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
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
