Re: [ProofPower] PP 3.1w7 installation problems with Fedora 24

2017-06-15 Thread Mark Adams
Hi Phil, On 15/06/2017 10:24, Phil Clayton wrote: ... Can you try the following to make sure you have the required packages installed: dnf install \ gcc-c++ \ texlive-latex texlive-epsf \ ed \ motif motif-devel \ libXp-devel.x86_64 \ libXext-dev

Re: [ProofPower] PP 3.1w7 installation problems with Fedora 24

2017-06-15 Thread Phil Clayton
Hi Mark, On 15/06/17 07:05, Mark Adams wrote: 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 differe