Thanks very much for that Phil.
This definitely helps but I still get failure for Poly/ML 5.6..
Installing openmotif-devel clears up the Motif problem.
Regarding Poly/ML, yes when I look closer, the failure recorded in
build.log is indeed different for Poly/ML 5.5:
echo "use\"polyml-build.s
Hi Mark,
You probably need to do
yum install openmotif-devel
to ensure that the Motif C header files are also installed.
ProofPower 3.1w7 doesn't build with Poly/ML 5.7 due to a change in the
integer types described here:
http://lemma-one.com/pipermail/proofpower_lemma-one.com/2017-May/001
Hi,
I'm getting problems installing ProofPower 3.1w7 on Fedora 24 with
Poly/ML 5.7.
The first thing that looks wrong is that, even though I have OpenMotif
installed, running ./configure complains that it can't find it.
yum install openmotif
...
Package motif-2.3.4-11.fc24.x86_64 is alread
