<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Jan 19, 2014 at 6:34 AM, peter leadbetter <span dir="ltr">&lt;<a href="mailto:peter.leadbetter@btinternet.com" target="_blank">peter.leadbetter@btinternet.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word">Help! I am having trouble trying to install Eiffel13.11 inside MacPorts on a Mac running Mavericks 10.9.1.<div>
The problem is described below showing attempts to install from different directories.</div><div>Any help would be very much appreciated.</div><div><br></div><div><div style="margin:0px;font-size:12px;font-family:&#39;Apple Color Emoji&#39;">
adminisatorsmbp:~ peter$ port version</div><div style="margin:0px;font-size:12px;font-family:&#39;Apple Color Emoji&#39;">Version: 2.2.1</div><div style="margin:0px;font-size:12px;font-family:&#39;Apple Color Emoji&#39;">
adminisatorsmbp:~ peter$ sudo port install eiffelstudio13</div><div style="margin:0px;font-size:12px;font-family:&#39;Apple Color Emoji&#39;"></div></div></div></blockquote><div><br></div><div>You show multiple attempts to install that. But</div>
<div><br></div><div><div>    pyanfar:30039 Z$ port echo eiffel\*</div><div>    eiffelstudio70<br></div><div>    eiffelstudio71</div><div>    eiffelstudio72</div><div>    eiffelstudio73</div></div><div><br></div><div>I don&#39;t see an eiffelstudio13 in there. (Perhaps you have a font issue?)</div>
<div><br></div></div>-- <br><div dir="ltr"><div>brandon s allbery kf8nh                               sine nomine associates</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>                                  <a href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div>
<div>unix, openafs, kerberos, infrastructure, xmonad        <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a></div></div>
</div></div>