Hi Raimondas, Currently there isn't a built in way to do this, but you may be able to override LLVMGCC on the make line. This is something I hope to fix in the core LLVM makefiles at some point.
- Daniel On Tuesday, December 1, 2009, Raimondas Sasnauskas <raimondas.sasnauskas at cs.rwth-aachen.de> wrote: > Hi all, > > How can I tell KLEE's build system to use clang instead of llvm-gcc when > compiling runtime models? > > > Thanks, > Raimondas > > -- > Raimondas Sasnauskas, PhD Student > Distributed Systems Group > RWTH Aachen University > http://ds.cs.rwth-aachen.de/members/sasnauskas > > > > > > >
