error while configuring klee
(too old to reply)
Esser, Michael
2014-06-23 12:19:49 UTC

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?


[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
Michael.Esser-AWz+***@public.gmane.org <mailto:Michael.Esser-AWz+***@public.gmane.org> | 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
Daniel Liew
2014-06-23 22:39:41 UTC
Post by Esser, Michael
What can I do, to compile klee successfully?
You should check the contents of config.log to see if there are any
clues as to what went wrong. If I had to guess but based on your error
message it sounds like either

* you haven't properly told KLEE about your LLVM2.9 source and LLVM2.9
binary directories
* you've built LLVM in a build mode that KLEE doesn't support