<div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">PS:  I have checked out a copy of HAL with git and I m happy to try it if someone tells me how to compile it.</blockquote>
<div><br>Nevermind, I found the answer to this one at least.<br></div></div>