klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Version.h
Go to the documentation of this file.
1 //===-- Version.h -----------------------------------------------*- C++ -*-===//
2 //
3 // The KLEE Symbolic Virtual Machine
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #ifndef KLEE_CONFIG_VERSION_H
11 #define KLEE_CONFIG_VERSION_H
12 
13 #include "klee/Config/config.h"
14 
15 #define LLVM_VERSION(major, minor) (((major) << 8) | (minor))
16 #define LLVM_VERSION_CODE LLVM_VERSION(LLVM_VERSION_MAJOR, LLVM_VERSION_MINOR)
17 
18 #if LLVM_VERSION_CODE >= LLVM_VERSION(3, 0)
19 # define LLVM_TYPE_Q
20 #else
21 # define LLVM_TYPE_Q const
22 #endif
23 
24 #endif