#include_next <limits.h> missing about klee-uclibc HOT 5 CLOSED

I checked on an Ubuntu 12.04-03 LTS machine and the header file you are missing is supplied by the libc6-dev package. Please make sure it's installed.

If that doesn't work then I'm not sure what's wrong, I only ever tested with llvm-gcc 4.2 and clang 3.3 and it works fine for those scenarios.

from klee-uclibc.

I re-installed libc6-dev and it still complains. Anyway, I compiled llvm-gcc, and gave ./configure --with-cc /usr/local/bin/gcc --make-llvm-lib, which compiled without any issues. Weird stuff. Closing, as this can be avoided with llvm-gcc.

from klee-uclibc.

Thanks for the really quick feedback! I'll try my best to post a VM that has all the stuff (llvm, klee, klee-uclbc, etc.) installed & compiled, etc. so the startup time for others will be easier.

from klee-uclibc.

Thanks.

I actually just realise I mis-read your error message which actually says that /usr/include/limits.h does exist on your system but it has a problem using then including it again. But I'm glad you solved it.

I think it's this issue

from klee-uclibc.

Just as a small addition, Clang's 2.9 searcher for include files was quite broken on the one hand. On the other hand, with Ubuntu 12.04 they introduced multilib support, i386 and 64bit headers are in different locations. The issue is clang - they fixed it with newer versions (but still you have to add each new ubuntu version to clang code). So it's not necessarily forward compatible.

from klee-uclibc.