enumerate">Run <span style="font-family:monospace">bash -c "make WIN32=1 doc</span>
</li><li class="li-enumerate">Run <span style="font-family:monospace">bash -c "make WIN32=1 bindistrib-nocheck</span>
</li></ol><p>The above steps do not build the CIL library, but just the executable. The
last step will create a subdirectory <span style="font-family:monospace">TEMP_cil-bindistrib</span> that contains
everything that you need to run CIL on another machine. You will have to edit
manually some of the files in 