Re: [creduce-dev] Close to New C-Reduce Release

[Eric Eide <eeide@cs.utah.edu>]

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/

(This is how the Travis-CI script gets LLVM 3.7.  If you want to follow the
recipe there, you need to update it slightly for Ubuntu 14, since Travis-CI
uses Ubuntu 12.)

The relevant part of my config.log, using the nightly build of LLVM 3.7:

configure:15933: checking can compile with and link with LLVM(engine)
configure:15959: g++ -o conftest -g -O2  -I/usr/lib/llvm-3.7/include  -DNDEBUG \
-D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MA\
CROS -g -O2 -fomit-frame-pointer -std=c++11 -fvisibility-inlines-hidden -fno-ex\
ceptions -fPIC -ffunction-sections -fdata-sections -Wcast-qual  conftest.cpp  -\
lLLVMX86Disassembler -lLLVMX86AsmParser -lLLVMX86CodeGen -lLLVMSelectionDAG -lL\
LVMAsmPrinter -lLLVMCodeGen -lLLVMScalarOpts -lLLVMProfileData -lLLVMInstCombin\
e -lLLVMInstrumentation -lLLVMTransformUtils -lLLVMipa -lLLVMX86Desc -lLLVMMCDi\
sassembler -lLLVMX86Info -lLLVMX86AsmPrinter -lLLVMX86Utils -lLLVMMCJIT -lLLVME\
xecutionEngine -lLLVMTarget -lLLVMAnalysis -lLLVMRuntimeDyld -lLLVMObject -lLLV\
MMCParser -lLLVMBitReader -lLLVMMC -lLLVMCore -lLLVMSupport -L/usr/lib/llvm-3.7\
/lib  -lz -lpthread -lffi -ledit -ltinfo -ldl -lm  >&5

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX