Roger,

From the reported package name openmotif-2.3.3-4.6.amzn1.x86_64 I can see that you're not using the packages from motifzone.net. Can you provide the output of


  rpm -ql openmotif-devel

It could be that the Amazon 'amzn1' packages for OpenMotif have the same issue as the RPM Fusion OpenMotif packages that I describe here:
http://lemma-one.com/pipermail/proofpower_lemma-one.com/2010-January/000592.html

In that message, I see that I also noted

  "I think there could be an issue beyond the configure
   script because PPMOTIFHOME doesn't seem to be used
   anywhere, namely in any include paths for compilation
   or linking."

So I don't even know whether setting PPMOTIFHOME does anything!

Phil


On 01/08/12 13:10, Roger Bishop Jones wrote:
I seem to have the same problem as John in a different place.
i.e. in a linux image in the amazon cloud.

I followed Phil's Yum list to get me started, which worked
apart from failing to find polyml.
I successfully built polyml from the sources.
Then I checked with yum and found that the openmotif in the
amazon repositories seemed to be the right one, and
installed openmotif.

However, the ProofPower configure script can't find it.

Here's is what rpm says about it:

[ec2-user@domU-12-31-39-05-56-E9 ~]$ rpm -q openmotif
openmotif-2.3.3-4.6.amzn1.x86_64
[ec2-user@domU-12-31-39-05-56-E9 ~]$ rpm -ql openmotif
/etc/X11/mwm/system.mwmrc
/etc/X11/xinit/xinitrc.d/xmbind.sh
/usr/bin/mwm
/usr/bin/xmbind
/usr/include/X11/bitmaps/xm_error
/usr/include/X11/bitmaps/xm_hour16
/usr/include/X11/bitmaps/xm_hour16m
/usr/include/X11/bitmaps/xm_hour32
/usr/include/X11/bitmaps/xm_hour32m
/usr/include/X11/bitmaps/xm_information
/usr/include/X11/bitmaps/xm_noenter16
/usr/include/X11/bitmaps/xm_noenter16m
/usr/include/X11/bitmaps/xm_noenter32
/usr/include/X11/bitmaps/xm_noenter32m
/usr/include/X11/bitmaps/xm_question
/usr/include/X11/bitmaps/xm_warning
/usr/include/X11/bitmaps/xm_working
/usr/lib64/libMrm.so.4
/usr/lib64/libMrm.so.4.0.3
/usr/lib64/libUil.so.4
/usr/lib64/libUil.so.4.0.3
/usr/lib64/libXm.so.4
/usr/lib64/libXm.so.4.0.3
/usr/share/X11/bindings
/usr/share/X11/bindings/acorn
/usr/share/X11/bindings/apollo
/usr/share/X11/bindings/dec
/usr/share/X11/bindings/dg_AViiON
/usr/share/X11/bindings/doubleclick
/usr/share/X11/bindings/hal
/usr/share/X11/bindings/hitachi
/usr/share/X11/bindings/hp
/usr/share/X11/bindings/ibm
/usr/share/X11/bindings/intergraph
/usr/share/X11/bindings/intergraph17
/usr/share/X11/bindings/megatek
/usr/share/X11/bindings/motorola
/usr/share/X11/bindings/ncr_at
/usr/share/X11/bindings/ncr_vt
/usr/share/X11/bindings/pc
/usr/share/X11/bindings/sgi
/usr/share/X11/bindings/siemens_9733
/usr/share/X11/bindings/siemens_wx200
/usr/share/X11/bindings/sni
/usr/share/X11/bindings/sni_97801
/usr/share/X11/bindings/sony
/usr/share/X11/bindings/sun
/usr/share/X11/bindings/sun_at
/usr/share/X11/bindings/tek
/usr/share/X11/bindings/xmbind.alias
/usr/share/doc/openmotif-2.3.3
/usr/share/doc/openmotif-2.3.3/COPYRIGHT.MOTIF
/usr/share/doc/openmotif-2.3.3/README
/usr/share/doc/openmotif-2.3.3/RELEASE
/usr/share/doc/openmotif-2.3.3/RELNOTES
/usr/share/man/man1/mwm.1.gz
/usr/share/man/man1/xmbind.1.gz
/usr/share/man/man4/mwmrc.4.gz

Should I be setting OPENMOTIFHOME?
If so, to what, surely ProofPower looks in /usr/bin

Roger Jones

_______________________________________________
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

Reply via email to