From 0c8c812db1d331f1e49e27ccd35f1288e58d97e6 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 25 Sep 2014 11:17:19 +0100 Subject: Patch by Sean Bartell: "F_Binary was actually moved in LLVM 3.4 (r186447), not 3.0." --- tools/klee/main.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index fce4e317..a92aa559 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -379,7 +379,7 @@ llvm::raw_fd_ostream *KleeHandler::openOutputFile(const std::string &filename) { std::string path = getOutputFilename(filename); #if LLVM_VERSION_CODE >= LLVM_VERSION(3,5) f = new llvm::raw_fd_ostream(path.c_str(), Error, llvm::sys::fs::F_None); -#elif LLVM_VERSION_CODE >= LLVM_VERSION(3,0) +#elif LLVM_VERSION_CODE >= LLVM_VERSION(3,4) f = new llvm::raw_fd_ostream(path.c_str(), Error, llvm::sys::fs::F_Binary); #else f = new llvm::raw_fd_ostream(path.c_str(), Error, llvm::raw_fd_ostream::F_Binary); -- cgit 1.4.1