[klee-dev] problem using makefile

HAN WANG hannahoo at ucla.edu
Fri Jan 2 22:34:49 GMT 2015


Hi,
Have you ever used makefile in llvm-gcc when testing the HiStar kernel? I
can't find a tutorial about using makefile in llvm compiler but only in
GCC, so could you give some advice?

-- 
Hannah
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the klee-dev mailing list