<div dir="ltr">Him<br><div class="gmail_extra"><br><div class="gmail_quote">2016-04-26 19:14 GMT+01:00 barbara <span dir="ltr"><<a href="mailto:barbara@copperspice.com" target="_blank">barbara@copperspice.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">
<div>Mikhail, <br>
<br>
It sounds like you have been through this, which is really helpful
for everyone. Yes, we are using autotools (we will add CMake in a
few months) and would really like any scripts you are willing to
share. <br>
<br></div></div></blockquote><div><br></div><div>Good for you! I'm trying to convince the team to move to cmake, without success. Anyway, the scripts are:</div><div><br></div><div><a href="https://github.com/esbmc/esbmc/blob/master/scripts/build-aux/m4/ax_clang.m4">https://github.com/esbmc/esbmc/blob/master/scripts/build-aux/m4/ax_clang.m4</a><br></div><div><a href="https://github.com/esbmc/esbmc/blob/master/scripts/build-aux/m4/ax_llvm.m4">https://github.com/esbmc/esbmc/blob/master/scripts/build-aux/m4/ax_llvm.m4</a><br></div><div><br></div><div>They might not work well on 32-bit systems.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div bgcolor="#FFFFFF" text="#000000"><div>
I have been running the test on Windows while Ansel has been
testing on Debian. He was not aware of all the flags you can pass
to 'llvm-config', this was great information. Right now he has
link issues but not the same ones as I have on Windows. <br>
<br></div></div></blockquote><div><br></div><div>Cool. If you feel specially curious about how we use libTooling, you can check:</div><div><br></div><div><a href="https://github.com/esbmc/esbmc/blob/master/clang-c-frontend/clang_c_language.cpp">https://github.com/esbmc/esbmc/blob/master/clang-c-frontend/clang_c_language.cpp</a> <br></div><div><br></div><div>In this class we generate the AST and include builtin headers (mandatory if you want to ship just the binary, e.g., static binaries).</div><div><br></div><div><a href="https://github.com/esbmc/esbmc/blob/master/clang-c-frontend/clang_c_convert.h">https://github.com/esbmc/esbmc/blob/master/clang-c-frontend/clang_c_convert.h</a><br></div><div><a href="https://github.com/esbmc/esbmc/blob/master/clang-c-frontend/clang_c_convert.cpp">https://github.com/esbmc/esbmc/blob/master/clang-c-frontend/clang_c_convert.cpp</a><br></div></div><div class="gmail_extra"><br></div>How we traverse the AST and convert it to our internal AST.</div><div class="gmail_extra"><br></div><div class="gmail_extra">If you have any question, feel free to contact us. I didn't find any other (open) tool using the C++ API the way I'm using.</div><div class="gmail_extra"><br></div><div class="gmail_extra">Thank you,<br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><br></div><div>Mikhail Ramalho.</div></div></div>
</div></div>