Jon,
I have been running ProofPower under Fedora for many years now. A long
time ago, Rob and I established that the following yum command gave us
the prerequisites needed for ProofPower (apart from OpenMotif itself,
which is not properly open source) after a standard Fedora install:
yum install \
gcc-c++ \
polyml \
texlive-latex \
libXp-devel \
libXext-devel \
libXmu-devel \
libXt-devel \
xorg-x11-fonts-misc
It would be useful to know if anything is missing after entering this
command, which you need to run as root. (I believe the package gcc-c++
will give you g++.)
There are a couple of things Fedora users need to know though.
1. OpenMotif is available via yum from the RPM Fusion repository. If
you add the RPM Fusion repository to your system, you mustn't use the
version of OpenMotif that it supplies - see my previous message here for
details:
http://lemma-one.com/pipermail/proofpower_lemma-one.com/2010-January/000592.html
If you don't use RPM Fusion, don't worry about this!
2. With Fedora 16 and later, the GNOME 3 shell is the default and this
breaks the Motif Text widget, making Xpp very cumbersome to use. (At
least on x86-64 platforms.) The solution is to use fallback mode: in
'System Settings' -> 'System Info' -> 'Graphics', set 'Forced Fallback
Mode' to 'On'. This issue has now been officially noted as an OpenMotif
bug here:
http://bugs.motifzone.net/long_list.cgi?buglist=1551
Regards,
Phil
On 31/07/12 21:35, Jon Lockhart wrote:
Hey Rob,
Thanks for the link to motifzone, that worked immediately and I was able
to get the latest binary for open motif installed on my Fedora 17 image.
I am now currently having trouble with getting polyml to install.
After running the config file I try to run the make file and it says
that command g++ is not found. I did a yum install of gcc and gpp to
make sure I had a c and c++ compiler installed on my fedora and it
appeared to have installed both packages fine. Any thoughts on this?
Sorry for asking for all the help, my linux is pretty rusty.
Thanks,
Jon Lockhart
On Mon, Jul 30, 2012 at 2:58 AM, Jon Lockhart <jal...@bucknell.edu
<mailto:jal...@bucknell.edu>> wrote:
Rob,
Thank you very much for the site. I will give it a try as soon as i can.
Regards,
Jon
On Jul 30, 2012 2:48 AM, <r...@lemma-one.com
<mailto:r...@lemma-one.com>> wrote:
Jon,
> Rob,
>
> I was wondering, you know of any problems with the download
site for
> OpenMotif?
>
> I got Virtual Box and Fedora 17 working on my desktop, my
laptop did not
> have enough RAM to run it, and I got ProofPower and ML
downloaded no
> problems, but seems you get a blank page when getting
OpenMotif 2.3.3. I
> contacted there list but have not heard back all week.
>
> Any ideas?
Try motifzone.net <http://motifzone.net> rather than
www.openmotif.org <http://www.openmotif.org>
Regards,
Rob.
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
