Hello, I am not very sure, but there is different versions of llvm-gcc release, at http://llvm.org/releases/download.html page.
Possibly you had chosen version for wrong OS? There is: LLVM-GCC 4.2 Front End Binaries for FreeBSD8/x86 (23M) (.sig)LLVM-GCC 4.2 Front End Binaries for FreeBSD8/x86_64 (24M) (.sig) LLVM-GCC 4.2 Front End Binaries for Linux/x86 (57.8M) (.sig)LLVM-GCC 4.2 Front End Binaries for Linux/x86_64 (67M) (.sig)LLVM-GCC 4.2 Front End Binaries for MacOS X/x86-64 (Darwin 10) (33.8M) (.sig)LLVM-GCC 4.2 Front End Binaries for Mingw32/x86 (26M) (.sig) This can be the source of this error - Invalid llvm-g++. Urmas Repinski. Date: Tue, 10 Sep 2013 23:30:10 +0800 From: [email protected] To: [email protected] Subject: [klee-dev] llvm-2.9 configuration error Dear all: When I download and build the llvm-2.9, I encounter the following configuration error message: "configure: error: Invalid llvm-g++. Use --with-llvmgxx when --with-llvmgcc is used" I have added the llvm-gcc into my path. I don't know how to fix this problem. Is there anyone could help me on this issue? Best regards Changjiang _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
