@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
3 lines • 3.39 kB
HTML
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><meta name="theme-color" content="#273f79"/><link rel="stylesheet" href="lpdoc.css" type="text/css"/><script type="text/javascript" src="lpdoc.js"></script><title>Troubleshooting — The Ciao System v1.22</title></head><body><div class="lpdoc-page fixleftbar"><a href="#" id="sidebar-toggle-button" class="lpdoc-navbutton"><span id="sidebar-button-arrow">☰</span></a><div id="sidebar" class="lpdoc-sidebar"><div style="height: 40px; margin-left: auto; margin-right: auto"><img src="ciao-logo_autofig.png" width=auto height=100%></div><div class="lpdoc-nav"><span class="lpdoc-on-right"><a class="lpdoc-navbutton" href="GettingStarted.html">↑</a><a class="lpdoc-navbutton" href="EmacsUse.html">←</a><a class="lpdoc-navbutton" href="DevEnv.html">→</a><a class="lpdoc-navbutton" href="ciaosearch.html">🔍</a></span><span><a href="ciaofulltoc.html">TOC</a></span></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciao.html">The Ciao System</a> »<br/> </li><li><a href="GettingStarted.html">Getting started</a> »<br/> </li><li><a href=""><strong>Troubleshooting</strong></a></li></ul></div><div class="lpdoc-main"><div id=""><h1>Troubleshooting</h1><a class="lpdoc-idx-anchor" href="ciaosearch.html#Troubleshooting"></a>
<strong>Author(s):</strong> <a class="lpdoc-idx-anchor" id="The Ciao Development Team" href="ciaosearch.html#The Ciao Development Team">The Ciao Development Team</a>.<p>
<a class="lpdoc-idx-anchor" id="0" href="ciaosearch.html#troubleshooting"></a> <a class="lpdoc-idx-anchor" id="1" href="ciaosearch.html#bugs, reporting"></a> <a class="lpdoc-idx-anchor" id="2" href="ciaosearch.html#reporting bugs"></a> <p>If you experience any problem downloading, installing, or using Ciao you can send a message to <a href="mailto:ciao-bug@cliplab.org"><ciao-bug@cliplab.org></a>. Please be as informative as possible in your messages, so that we can reproduce the bug.<p><ul> <p><li>For <em>installation problems</em> we typically need to have the installation method, the version and patch number of the Ciao package (e.g., the name of the file downloaded), the output produced by the installation process (you can capture it by redirecting the output into a file or cutting and pasting with the mouse), and the exact version of the Operating System you are using (as well as the C compiler, if you took a source distribution).<p><li>For <em>problems during use</em> we also need the Ciao and OS versions and, if possible, a small example of code which we can run to reproduce the bug.<p></ul> <p>This is a list of common issues and their solutions:<p><ul> <p><li><strong>Problem:</strong> Compilation errors appear when trying a new installation/compilation after the previous one was aborted (e.g., because of errors) or after a source upgrade from the development version.<p><strong>Possible reason and solution:</strong> It is a good idea to clean up any leftovers from the previous compilation. It the worst case, if none of the clean commands work, try <tt>./ciao-boot.sh emergency-clean</tt>.<p></ul> <p><p> <br/></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>