From 6204a1faed8f6ed15318be8da3e8e4b5e2f2a4ac Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Wed, 7 Jun 2017 13:32:53 +0200 Subject: llvm: don't use clEnumValEnd for LLVM 4.0 It became unnecessary when defining options and mainly undefined. So introduce KLEE_LLVM_CL_VAL_END as suggested by @delcypher. Signed-off-by: Jiri Slaby --- include/klee/Config/Version.h | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'include') diff --git a/include/klee/Config/Version.h b/include/klee/Config/Version.h index ea2af961..c1fdbb97 100644 --- a/include/klee/Config/Version.h +++ b/include/klee/Config/Version.h @@ -21,4 +21,10 @@ # define LLVM_TYPE_Q const #endif +#if LLVM_VERSION_CODE >= LLVM_VERSION(4, 0) +# define KLEE_LLVM_CL_VAL_END +#else +# define KLEE_LLVM_CL_VAL_END , clEnumValEnd +#endif + #endif -- cgit 1.4.1