genmc/config.h.in at master · Patrick-6/genmc · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
#ifndef GENMC_CONFIG_H
#define GENMC_CONFIG_H

/* FIXME: split up the config.h.in file. */

/* Package information. */
#define PACKAGE_NAME "@PACKAGE_NAME@"
#define PACKAGE_BUGREPORT "@PACKAGE_BUGREPORT@"
#define PACKAGE_URL "@PACKAGE_URL@"
#define PACKAGE_VERSION "@PACKAGE_VERSION@"
#define GIT_COMMIT "@GIT_COMMIT@"

/* Include directories. */
#define INCLUDE_DIR "@INCLUDE_DIR@"
#define SRC_INCLUDE_DIR "@SRC_INCLUDE_DIR@"

/* Rust related defines. */
#define RUST_DIR "@RUST_DIR@"
#cmakedefine RUSTC_PATH "@CONFIG_RUSTC_PATH@"
#cmakedefine CARGO_PATH "@CONFIG_CARGO_PATH@"

/* Information about linked LLVM (undefined if not linked). */
#cmakedefine CLANGPATH "@CLANGPATH@"
#cmakedefine LLVM_BUILDMODE "@LLVM_BUILDMODE@"
#cmakedefine LLVM_VERSION "@LLVM_PACKAGE_VERSION@"
//@LLVM_DEFINITIONS: @LLVM_DEFINITIONS@
//@LLVM_INCLUDE_DIRS: @LLVM_INCLUDE_DIRS@
//@LLVM_LIBRARY_DIR: @LLVM_LIBRARY_DIR@
//@LLVM_CONFIG_PATH: @LLVM_CONFIG_PATH@

/* Enable/disable additional debug checks, prints and options. */
#cmakedefine ENABLE_GENMC_DEBUG

#endif /* GENMC_CONFIG_H */