<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">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: 'Apple Color Emoji';">adminisatorsmbp:~ peter$ port version</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">Version: 2.2.1</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">adminisatorsmbp:~ peter$ sudo port install eiffelstudio13</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">Password:</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">Error: Port eiffelstudio13 not found</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">adminisatorsmbp:~ peter$ cd /Applications</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">adminisatorsmbp:Applications peter$ sudo port install eiffelstudio13</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">Error: Port eiffelstudio13 not found</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">adminisatorsmbp:Applications peter$ cd MacPorts-2.2.1</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">adminisatorsmbp:MacPorts-2.2.1 peter$ sudo port install eiffelstudio13</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">Error: Port eiffelstudio13 not found</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">adminisatorsmbp:MacPorts-2.2.1 peter$ cd Eiffel_13.11</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">adminisatorsmbp:Eiffel_13.11 peter$ sudo port install eiffelstudio13</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">Password:</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">Error: Port eiffelstudio13 not found</div><div style="margin: 0px; font-size: 12px; font-family: 'Apple Color Emoji';">adminisatorsmbp:Eiffel_13.11 peter$&nbsp;</div></div><div><br></div><div>Thanks a lot.</div><div>Peter</div></body></html>