libTriton version 1.0 build 1590
Loading...
Searching...
No Matches
config.hpp.in
1//! \file
2/*
3** Copyright (C) - Triton
4**
5** This program is under the terms of the Apache License 2.0.
6*/
7
8#ifndef TRITON_CONFIG_HPP
9#define TRITON_CONFIG_HPP
10
11#cmakedefine TRITON_BITWUZLA_INTERFACE
12#cmakedefine TRITON_BOOST_INTERFACE
13#cmakedefine TRITON_LLVM_INTERFACE
14#cmakedefine TRITON_Z3_INTERFACE
15
16#endif // TRITON_CONFIG_HPP