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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
