[klee-dev] Compile KLEE on MIPS

[汪小峰]

Hi everyone:
    I have use KLEE on x86 machine, it works well.
    Now I want to use it in a MIPS core machine, the operator system is still Linux.
    I have succeeded in compiling llvm on MIPS, But when I compile KLEE on MIPS, 
    there is a error, "error:unknown target triple "mips64el-unkown-linux-gnu", please use -triple or -arch"
    Did anyone use KLEE on MIPS, How to solve this problem.
    The solution is very important to me.
    Hope for your reply. Thank you very much.


Your sincerely,
Wang Xiaofeng
-------------- next part --------------
HTML attachment scrubbed and removed