If you are experiencing problems installing or working with Photran, please review the FAQ http://wiki.eclipse.org/PTP/photran/faq. If you don't find an answer there, please join the Photran mailing list http://eclipse.org/photran/mailinglists.php; a large number of users (as well as Photran's developers) monitor that list, and they are generally eager to help.