config.hpp.in

//! \file
/*
**  Copyright (C) - Triton
**
**  This program is under the terms of the Apache License 2.0.
*/
 
#ifndef TRITON_CONFIG_HPP
#define TRITON_CONFIG_HPP
 
#cmakedefine TRITON_BITWUZLA_INTERFACE
#cmakedefine TRITON_BOOST_INTERFACE
#cmakedefine TRITON_LLVM_INTERFACE
#cmakedefine TRITON_Z3_INTERFACE
 
#endif // TRITON_CONFIG_HPP