On 21 Nov 2009, at 04:40, <[email protected]> <[email protected]> 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 > [email protected] > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
