[ProofPower] ProofPower on OS X

[Roger Bishop Jones]

I would appreciate advice on how to run ProofPower on OS X El Capitain (10.11.4).
I tried a rather dated recipe posted by Rob a while back but find that there is problem installing Xcode (it hangs up in the installation).

If I have to resort to running Linux is VirtualBox the best way to do that?

Roger Jones

[Roger Bishop Jones]

Can you point me at the recipe, so I can see what is likely to be
out of date.

http://lemma-one.com/pipermail/proofpower_lemma-one.com/2012-December/000955.html <http://lemma-one.com/pipermail/proofpower_lemma-one.com/2012-December/000955.html>
I have managed to get Xcode installed now, but fail on step 2 of your prescription because the preferences in Xcode doesn’t seem to have a download option.

Roger

[Rob Arthan]

Roger,

Post by Roger Bishop Jones

Can you point me at the recipe, so I can see what is likely to be
out of date.

http://lemma-one.com/pipermail/proofpower_lemma-one.com/2012-December/000955.html
I have managed to get Xcode installed now,

Good.

Post by Roger Bishop Jones
but fail on step 2 of your prescription because the preferences in Xcode doesn’t seem to have a download option.

I am not sure an analogue of this step is necessary now. If it is, then I believe you do it from the command line with the following command:

xcode-select --install

Regards,

Rob.

[Roger Bishop Jones]

Thanks for your help so far Rob.

Post by Rob Arthan

Post by Roger Bishop Jones
I have managed to get Xcode installed now,

Good.

Post by Roger Bishop Jones
but fail on step 2 of your prescription because the preferences in Xcode doesn’t seem to have a download option.

xcode-select --install

That seems to be necessary, but the port of openmotif nevertheless fails.
port complains that:

xorg-libXt must be installed with +flat_namespace

Do you know which part of the preceding process installs org-libXt and how it might be persuaded to do it differently?

It is possible that this problem is caused by a previous failed attempt to port open motif when the command line tools were not in place, but I did do a port clean openmotif to no avail.

Roger

[Roger Bishop Jones]

Post by Roger Bishop Jones
That seems to be necessary, but the port of openmotif nevertheless fails.
xorg-libXt must be installed with +flat_namespace

I found the fix to that, so I am progressing,
Will post an upgraded recipe if and when I get through.

Roger