[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] Close to New C-Reduce Release
On 09/22/2015 03:39 PM, Eric Eide wrote:
John Regehr <regehr@cs.utah.edu> writes:
Weird-- I'm also using the pre-built LLVM 3.7.0.
How do you guys install LLVM 3.7?
FWIW, I do not see this problem when I use the "nightly build" of LLVM 3.7,
obtained as described here:
https://wiki.ubuntu.com/ToolChain
http://llvm.org/apt/
I grabbed the pre-built binary from llvm.org. My steps:
$ pwd
/home/chenyang/work/creduce
$ wget
http://www.llvm.org/releases/3.7.0/clang+llvm-3.7.0-x86_64-linux-gnu-ubuntu-14.04.tar.xz
$ tar xvf clang+llvm-3.7.0-x86_64-linux-gnu-ubuntu-14.04.tar.xz
$ ./configure --with-llvm=./clang+llvm-3.7.0-x86_64-linux-gnu-ubuntu-14.04
...
configure: error: in `/home/chenyang/work/creduce':
configure: error: cannot compile and link test program with selected LLVM
See `config.log' for more details
$ grep "Wcovered-switch-default" ./config.log
configure:15959: g++ -o conftest -g -O2
-I/home/chenyang/work/creduce/clang+llvm-3.7.0-x86_64-linux-gnu-ubuntu-14.04/include
-fPIC -fvisibility-inlines-hidden -Wall -W -Wno-unused-parameter
-Wwrite-strings -Wcast-qual -Wmissing-field-initializers -pedantic
-Wno-long-long -Wcovered-switch-default -Wnon-virtual-dtor
-Werror=date-time -std=c++11 -ffunction-sections -fdata-sections -O3
-DNDEBUG -fno-exceptions -fno-rtti -D_GNU_SOURCE
-D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS
conftest.cpp -lLLVMX86Disassembler -lLLVMX86AsmParser -lLLVMX86CodeGen
-lLLVMSelectionDAG -lLLVMAsmPrinter -lLLVMCodeGen -lLLVMScalarOpts
-lLLVMProfileData -lLLVMInstCombine -lLLVMInstrumentation
-lLLVMTransformUtils -lLLVMipa -lLLVMX86Desc -lLLVMMCDisassembler
-lLLVMX86Info -lLLVMX86AsmPrinter -lLLVMX86Utils -lLLVMMCJIT
-lLLVMExecutionEngine -lLLVMTarget -lLLVMAnalysis -lLLVMRuntimeDyld
-lLLVMObject -lLLVMMCParser -lLLVMBitReader -lLLVMMC -lLLVMCore
-lLLVMSupport
-L/home/chenyang/work/creduce/clang+llvm-3.7.0-x86_64-linux-gnu-ubuntu-14.04/lib
-lrt -ldl -lpthread -lm >&5
g++: error: unrecognized command line option '-Wcovered-switch-default'
- Yang