Hi,
What is the order of the clang libraries when linking?
Currently I'm doing:
clang++ -fno-rtti `llvm-config --cxxflags` \
iterate.cpp \
`llvm-config --ldflags --libs --system-libs` \
-I/usr/lib/llvm-3.8/include -ggdb3 -std=c++11
-I/usr/include/llvm-3.8/llvm/Support -L
In ESBMC [0], we use:
-lclangTooling -lclangDriver -lclangFrontend -lclangParse
-lclangSerialization -lclangSema -lclangAnalysis -lclangEdit -lclangLex
-lclangAST -lclangBasic -lLLVMBitReader -lLLVMCore -lLLVMOption
-lLLVMMCParser -lLLVMMC -lLLVMSupport -lrt -ldl -lpthread -lz -lm
For clang, we h