diff options
Diffstat (limited to 'runtime/klee-eh-cxx/Makefile.cmake.bitcode')
| -rw-r--r-- | runtime/klee-eh-cxx/Makefile.cmake.bitcode | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/runtime/klee-eh-cxx/Makefile.cmake.bitcode b/runtime/klee-eh-cxx/Makefile.cmake.bitcode deleted file mode 100644 index aa314613..00000000 --- a/runtime/klee-eh-cxx/Makefile.cmake.bitcode +++ /dev/null @@ -1,13 +0,0 @@ -include ../Makefile.cmake.bitcode.config - -SRC_DIR=$(ROOT_SRC)/klee-eh-cxx - -ARCHIVE_FILE=$(ARCHIVE_DEST)/libklee-eh-cxx.bca - -all: $(ARCHIVE_FILE) - -klee_eh_cxx.bc: $(SRC_DIR)/klee_eh_cxx.cpp - $(LLVMCXX) -nostdinc++ -emit-llvm -c -I$(KLEE_INCLUDE_DIR) -I $(KLEE_LIBCXXABI_SRC_DIR)/src -I $(KLEE_LIBCXXABI_SRC_DIR)/include -I $(KLEE_LIBCXX_INCLUDE_DIR) $(SRC_DIR)/klee_eh_cxx.cpp -o $@ - -$(ARCHIVE_FILE): klee_eh_cxx.bc - $(LLVM_AR) rcs $@ $< |