diff --git a/trick_source/codegen/Interface_Code_Gen/makefile b/trick_source/codegen/Interface_Code_Gen/makefile index 691947aa..68d0ebc3 100644 --- a/trick_source/codegen/Interface_Code_Gen/makefile +++ b/trick_source/codegen/Interface_Code_Gen/makefile @@ -50,7 +50,7 @@ endif ifeq ($(TRICK_HOST_TYPE),Darwin) CXXFLAGS += -std=c++11 CLANGLIBS += -lLLVMOption -lLLVMMCParser -lLLVMBitReader -lLLVMMC -lLLVMSupport $(shell $(LLVM_HOME)/bin/llvm-config --system-libs) -CXXFLAGS += -lc++abi +CLANGLIBS += -lc++abi endif all: $(ICG)