On Thu, Apr 15, 2010 at 12:17 PM, Martin Rubey <span dir="ltr"><<a href="mailto:martin.rubey@math.uni-hannover.de">martin.rubey@math.uni-hannover.de</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<div><div></div><div class="h5"><br>
</div></div>Could you give me some hints on what values to fill in?  Or where I<br>
could get such hints?<font color="#888888"><br>
</font></blockquote></div><br>What information do you need? All the values that have to be filled in are in the file. They are of different kinds (from type names, to location of headers, passing through bit-sizes of types), but typically the names reflect what is asked for.<br>

<br>Juanjo<br clear="all"><br>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://tream.dreamhosters.com">http://tream.dreamhosters.com</a><br>