Hello, I want to configure klee, but i got this message: ... checking llvm version major... 2 checking llvm version minor... 9 checking llvm is release version ... 1 checking llvm build mode... configure error: Invalid build mode:
What can I do, to compile klee successfully? Best [Logo Berner und Mattner] Michael Eßer | Senior System Engineer | AUTOMOTIVE Berner & Mattner Systemtechnik GmbH | Erwin-von-Kreibig-Straße 3 | 80807 München (Germany) Tel.: +49 89 608090-417 | Fax: +49 89 60 98-182 [email protected] <mailto:[email protected]> | Infos: www.berner-mattner.com <http://www.berner-mattner.com/de/berner-mattner-home/unternehmen/index.html> ________________________________ Berner & Mattner Systemtechnik GmbH: Sitz der Gesellschaft | Corporate Headquarters: München Registereintragung | Commercial Register: Amtsgericht München HRB 83252 Geschäftsführung | Management Board: Dr. Klaus Eder
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
