From 565b8567b616988d5f1269ac6fc8418c542563c4 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin.nowack@gmail.com>
Date: Thu, 29 Aug 2013 12:12:14 +0200
Subject: Fix compiling issues with llvm 2.9

Interface for ParseCommandLineOptions changed with LLVM 3.2
preserving constness for pointer to arguments.
---
 tools/klee/main.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 9060e354..42c0c4ba 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -604,7 +604,11 @@ static void parseArguments(int argc, char **argv) {
     argArray[i] = arguments[i-1].c_str();
   }
 
+#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 2)
   cl::ParseCommandLineOptions(numArgs, (const char**) argArray, " klee\n");
+#else
+  cl::ParseCommandLineOptions(numArgs, (char**) argArray, " klee\n");
+#endif
   delete[] argArray;
 }
 
-- 
cgit 1.4.1