<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
    "http://www.w3.org/TR/REC-html40/loose.dtd">
<html>

<head>
  <title>SLIP support site</title>
  <?  // select and link a stylesheet
      include ("style/style.php");  ?>
</head>

<body>
  <div id="mainmenu">
    <ul>
      <?  // generate the main menu
        include ("include/vcc_menu.php");  ?>
    </ul>
  </div> <? // end of #mainmenu ?>

  <div id="maintext">

  <h1 id="maintitle">Common error messages</h1>

<ol>
    <li><a href="#1">Error: simulator exiting because of a previously reported exception</a></li>
    <li><a href="#2">Fatal: "C:\Program Files\Cadence\Cierto VCC/include/*.h", line 24:
						catastrophic error:  #error directive: ERROR: Only Mac or Win32 targets
						supported!</a></li>
    <li><a href="#3">Printf doesn't work</a></li>
</ol>

  <dl class="bold">
    <dt><a name="1"></a>Error: simulator exiting because of a previously reported exception</dt>
    <dd>
       This can mean a number of things and is often accompanied by another error message.
       If no other error message is shown, it could be because you have external ports
       in your top-level behaviour.
    </dd>

    <p></p>

      <dt><a name="2"></a>Fatal: "C:\Program Files\Cadence\Cierto VCC/include/*.h", line 24:
						catastrophic error:  #error directive: ERROR: Only Mac or Win32 targets
						supported!</dt>
      <dd>
         When using library functions in VCC, you must either include the appropriate function
         definition at the top of your file or include the relevant header file. However, the
         supplied Microsoft header files will only work if you add the following lines before
         the <i>#include</i> statement:
	  <ul>
         <li>#if !defined(_WIN32)</li>
		 <li>#define _WIN32</li>
		 <li>#endif</li>
	  </ul>
    </dd>

<p></p>

      <dt><a name="3"></a>Printf doesn't work</dt>
      <dd>
         To print debugging information to the VCC window, you must use <i>vccPrintPdxDebugInfo</i>.
         This takes the same arguments as printf and should be defined at the top of your c file as
         follows:
         <ul>
          <li>int vccPrintPdxDebugInfo(const char *format, ...);</li>
         </ul>

	To get messages to appear, you should add "%_START" to the beginning and "%_END_" to the
        end of the string that you pass to vccPrintPdxDebugInfo.
    </dd>

  </dl>
  </div><? // end of #maintext ?>

  </body>
</html>
