[klee-dev] llvm-2.9 configuration error

[Urmas Repinski]

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: cjjia.cs at gmail.com
To: klee-dev at imperial.ac.uk
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
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev 		 	   		  
-------------- next part --------------
HTML attachment scrubbed and removed