family:monospace">x86_LINUX</span> if you are using Linux (although you should be
using instead the Perl wrapper <span style="font-family:monospace">bin/cilly</span>). Note that we do not have an
<span style="font-family:monospace">install</span> make target and you should use Cil from the development
directory.
</li></ol><p>The <span style="font-family:monospace">configure</span> script tries to find appropriate defaults for your system.
You can control its actions by passing the following arguments:
</p><