docker/build fails

[mullr]

I'm getting some errors running the build script; the 'klee' container fails, complaining about a missing header:

make[2]: *** [runtime/POSIX/fd_init32_Release+Debug+Asserts.bc] Error 1
In file included from /root/klee/klee/runtime/klee-libc/strncpy.c:37:                                                                                                                                             
/usr/include/stdlib.h:25:10: fatal error: 'bits/libc-header-start.h' file not found                                                                                                                               
#include <bits/libc-header-start.h>                                                                                                                                                                               
         ^~~~~~~~~~~~~~~~~~~~~~~~~~                                                                                                                                                                               
In file included from /root/klee/klee/runtime/klee-libc/putchar.c:10:                                                                                                                                             
/usr/include/stdio.h:27:10: fatal error: 'bits/libc-header-start.h' file not found                                                                                                                                
#include <bits/libc-header-start.h>                                                                                                                                                                               
         ^~~~~~~~~~~~~~~~~~~~~~~~~~                                                                                                                                                                               
In file included from /root/klee/klee/runtime/klee-libc/strcoll.c:10:                                                                                                                                             
/usr/include/string.h:26:10: fatal error: 'bits/libc-header-start.h' file not found                                                                                                                               
#include <bits/libc-header-start.h>                                                                                                                                                                               
         ^~~~~~~~~~~~~~~~~~~~~~~~~~                                                                                                                                                                               
In file included from /root/klee/klee/runtime/klee-libc/strtol.c:34:                                                                                                                                              
In file included from /usr/lib/llvm-10/lib/clang/10.0.0/include/limits.h:21:                                                                                                                                      
/usr/include/limits.h:26:10: fatal error: 'bits/libc-header-start.h' file not found                                                                                                                               
#include <bits/libc-header-start.h>                                                                                                                                                                               
         ^~~~~~~~~~~~~~~~~~~~~~~~~~                                                                                                                                                                               
1 error generated.                                                                                                                                                                                                
1 error generated.   

It looks like the scripts are just pulling from the master branch directly; do you have a SHA that's verified to work for klee?

[mullr]

Based on some history diving and educated guesses, I've come up with these commits, which at least give me a clean build:

klee: de471397338640df8ff792dab6d04c1a9a798d8c
seahorn: c4924637c79ff8f039ac0ebe333055126189aaf4 b99102c71ffe356e0e47f1b41c0c5463fcce8e11

It may be worth baking these (or whatever the actual right commits are) into the various docker files / build scripts.

[fshaked]

Thanks. The Klee hash above is a bit too old. I will put the proper hashes in the Dockerfiles.

[fshaked]

#69 fixes the build, but without hashes yet.

[mullr]

Excellent, thank you!