| <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> |
| |
| <html> |
| <head> |
| <link rel="stylesheet" type="text/css" href="help.css"> |
| <title>Troubleshooting</title> |
| </head> |
| |
| <body> |
| <a name="top"></a> |
| <table cellspacing="5"> |
| <tr> |
| <td> |
| <img src="images/trident_transparent.png"> |
| </td> |
| <td> |
| <h1>Troubleshooting</h1> |
| </td> |
| </tr> |
| </table> |
| |
| <hr> |
| <p> </p> |
| |
| <p> |
| This section addresses the most common issues encountered when using the GEM Plug-in for Eclipse. If you encounter something |
| that is not not mentioned here, please email your problem to <A href="mailto:isp-dev@cs.utah.edu">isp-dev@cs.utah.edu</a>. We |
| will get back to you with a solution as soon as possible. |
| </p> |
| |
| <p> </p> |
| |
| <table border="1" cellpadding="8"> |
| <tr> |
| <th>Problem</th><th>Solution</th> |
| </tr> |
| <tr> |
| <td>When I try to run GEM, the GEM Console View reports:<br></br> <b>"No such file or directory"</b>.</td> |
| <td>Make sure the paths to the ISP executable and other scripts are properly set on the GEM preference page</td> |
| </tr> |
| <tr> |
| <td>When I try to formally verify my MPI C/C++ application, I get an error message saying that an error occurred while trying to run ISP.</td> |
| <td>If the error details say: “Cannot run program ISPCC” Then ISP was not installed properly. Try re-installing ISP itself.</td> |
| </tr> |
| <tr> |
| <td>Dialog box appears stating:<br></br> <b>"An error has occurred while trying to run ISP. Please make sure ISP is configured and installed correctly, |
| and that all preferences and paths for the ISP Plugin have been properly set."</b></td> |
| <td>You most likely have not set the paths to the ISP executable or one of its scripts properly in the |
| preference page. Make sure you don't have a trailing <b>"/"</b> on any path. (e.g. /usr/local/bin/) |
| Just use the browse buttons on the GEM preference page to safely navigate to the directory.</td> |
| </tr> |
| <tr> |
| <td>I don’t see the GEM icon, there is no trident icon anywhere, and the GEM Views do not exist.</td> |
| <td>The Eclipse Plug-in was not installed properly. Try installing it again from <a href="http://eclipse.org/ptp/"> |
| http://eclipse.org/ptp</a>.</td> |
| </tr> |
| <tr> |
| <td>I’m running Eclipse and when I try to running GEM, Eclipse becomes unresponsive.</td> |
| <td>Make sure your process manager is running. The GEM Plug-in assumes your process manager is already running</td> |
| </tr> |
| <tr> |
| <td>I’m trying to view a log file in the Eclipse editor, and I get editor message saying that the file is out of sync with the file system.</td> |
| <td>ISP has generates a new log file. Just hit F5 to refresh the Eclipse editor's view of the file.</td> |
| </tr> |
| <tr> |
| <td>I can't find the log file GEM generated in my CDT project.</td> |
| <td>Refresh your project. It should be in a directory named "isp" at the same level as the source file.</td> |
| </tr> |
| </table> |
| |
| <p> </p> |
| <p><a href="#top">Back to Top</a> | <a href="toc.html">Back to Table of Contents</a></p> |
| <p> </p> |
| |
| <hr> |
| <center> |
| <p> |
| School of Computing * 50 S. Central Campus Dr. Rm. 3190 * Salt Lake City, UT |
| 84112 * <A href="mailto:isp-dev@cs.utah.edu">isp-dev@cs.utah.edu</a><br> |
| <a href="http://www.eclipse.org/org/documents/epl-v10.php">License</a> |
| </p> |
| </center> |
| |
| </body> |
| </html> |
