title: Unable to integrate CBMC into build systems
body: <p>I'm trying to use CBMC (C Bounded Model Checking: <a href="https://www.cprover.org/cbmc/" rel="nofollow noreferrer">https://www.cprover.org/cbmc/</a>) on open-source C projects from GitHub. For the purpose of this question, let's consider the following project: <a href="https://github.com/reubenhwk/radvd" rel="nofollow noreferrer">https://github.com/reubenhwk/radvd</a></p>
  
  <p>The problem arises when I compile the project with gcc. I'm able to obtain the executable file on which call cbmc like </p>
  
  <pre><code>cbmc radvd
  </code></pre>
  
  <p>but I obtain the following error message:</p>
  
  <pre><code>CBMC version 5.8 64-bit x86_64 linux
  failed to open input file radvd`
  </code></pre>
  
  <p>The reason should be the fact that I used gcc instead of goto-cc (as explained here: <a href="http://www.cprover.org/cprover-manual/goto-cc.html" rel="nofollow noreferrer">http://www.cprover.org/cprover-manual/goto-cc.html</a>), so might it's unable to recognize the file.
  I also tried to use goto-cc as explained in the previous link and in some example like <a href="http://www.cprover.org/goto-cc/examples/nanosat.html" rel="nofollow noreferrer">http://www.cprover.org/goto-cc/examples/nanosat.html</a>. However, since they are guided examples it seems to be easy to make cbmc work. When I do the same process with other project, like the linked one (radvd) and use goto-cc instead of gcc I obtain the following message when running <code>make CC=goto-cc</code> command:  </p>
  
  <pre><code>make  all-am
  make[1]: Entering directory '/home/stefano/Documents/github/radvd'
    YACC     gram.c
  updating gram.h
    CC       libradvd_parser_a-gram.o
  /usr/include/stdlib.h:133:1: error: syntax error before 'strtof128'
  PARSING ERROR
  Makefile:941: recipe for target 'libradvd_parser_a-gram.o' failed
  make[1]: *** [libradvd_parser_a-gram.o] Error 1
  make[1]: Leaving directory '/home/stefano/Documents/github/radvd'
  Makefile:755: recipe for target 'all' failed
  make: *** [all] Error 2`
  </code></pre>
  
  <p>I'm currently using the version 5.8 of cbmc on a virtual Linux machine (Ubuntu 17.10).</p>
  
  <p>Do you have any idea on how make it work?</p>
  
  <p>Thank you</p>