mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Ivan Krysak
99 lines
2.9 KiB
CMake
99 lines
2.9 KiB
CMake
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
# Define revngModel library
|
|
revng_add_analyses_library_internal(
|
|
revngModel
|
|
Binary.cpp
|
|
CommonTypeMethods.cpp
|
|
Identifier.cpp
|
|
LoadModelPass.cpp
|
|
NameBuilder.cpp
|
|
TypeSystemPrinter.cpp
|
|
Processing.cpp
|
|
Type.cpp
|
|
TypeDefinition.cpp
|
|
Verification.cpp
|
|
Visits.cpp)
|
|
|
|
target_link_libraries(revngModel revngSupport)
|
|
|
|
# Header files containing model YAML must be added here
|
|
set(MODEL_HEADERS_DIR "${CMAKE_SOURCE_DIR}/include/revng/Model")
|
|
set(SCHEMA_PATH "${CMAKE_BINARY_DIR}/model-schema.yml")
|
|
set(JSONSCHEMA_PATH "${CMAKE_BINARY_DIR}/model-jsonschema.yml")
|
|
set(TYPESCRIPT_PATH "${CMAKE_BINARY_DIR}/lib/typescript/model.ts")
|
|
set(DOCS_PATH "${CMAKE_BINARY_DIR}/share/doc/revng/references/model.md")
|
|
target_tuple_tree_generator(
|
|
revngModel
|
|
INSTALL
|
|
HEADER_DIRECTORY
|
|
Model
|
|
NAMESPACE
|
|
model
|
|
SCHEMA_PATH
|
|
"${SCHEMA_PATH}"
|
|
JSONSCHEMA_PATH
|
|
"${JSONSCHEMA_PATH}"
|
|
PYTHON_PATH
|
|
"${CMAKE_BINARY_DIR}/${PYTHON_INSTALL_PATH}/${PYTHON_GENERATED_MODEL_PATH}"
|
|
TYPESCRIPT_PATH
|
|
"${TYPESCRIPT_PATH}"
|
|
TYPESCRIPT_INCLUDE
|
|
"${CMAKE_SOURCE_DIR}/typescript/model.ts"
|
|
DOCS_PATH
|
|
"${DOCS_PATH}"
|
|
ROOT_TYPE
|
|
Binary
|
|
EMIT_TRACKING
|
|
GLOBAL_NAME
|
|
Model
|
|
STRING_TYPES
|
|
"Identifier"
|
|
SEPARATE_STRING_TYPES
|
|
"MetaAddress"
|
|
SCALAR_TYPES
|
|
"Identifier"
|
|
"MetaAddress"
|
|
HEADERS
|
|
"${MODEL_HEADERS_DIR}/ABI.h"
|
|
"${MODEL_HEADERS_DIR}/Architecture.h"
|
|
"${MODEL_HEADERS_DIR}/Argument.h"
|
|
"${MODEL_HEADERS_DIR}/ArrayType.h"
|
|
"${MODEL_HEADERS_DIR}/Binary.h"
|
|
"${MODEL_HEADERS_DIR}/Configuration.h"
|
|
"${MODEL_HEADERS_DIR}/CABIFunctionDefinition.h"
|
|
"${MODEL_HEADERS_DIR}/CanonicalRegisterValue.h"
|
|
"${MODEL_HEADERS_DIR}/CallSitePrototype.h"
|
|
"${MODEL_HEADERS_DIR}/StatementComment.h"
|
|
"${MODEL_HEADERS_DIR}/DefinedType.h"
|
|
"${MODEL_HEADERS_DIR}/DisassemblyConfiguration.h"
|
|
"${MODEL_HEADERS_DIR}/DisassemblyConfigurationAddressStyle.h"
|
|
"${MODEL_HEADERS_DIR}/DisassemblyConfigurationImmediateStyle.h"
|
|
"${MODEL_HEADERS_DIR}/DynamicFunction.h"
|
|
"${MODEL_HEADERS_DIR}/EnumDefinition.h"
|
|
"${MODEL_HEADERS_DIR}/EnumEntry.h"
|
|
"${MODEL_HEADERS_DIR}/Function.h"
|
|
"${MODEL_HEADERS_DIR}/FunctionAttribute.h"
|
|
"${MODEL_HEADERS_DIR}/NamedTypedRegister.h"
|
|
"${MODEL_HEADERS_DIR}/NamingConfiguration.h"
|
|
"${MODEL_HEADERS_DIR}/PointerType.h"
|
|
"${MODEL_HEADERS_DIR}/PrimitiveKind.h"
|
|
"${MODEL_HEADERS_DIR}/PrimitiveType.h"
|
|
"${MODEL_HEADERS_DIR}/RawFunctionDefinition.h"
|
|
"${MODEL_HEADERS_DIR}/Relocation.h"
|
|
"${MODEL_HEADERS_DIR}/RelocationType.h"
|
|
"${MODEL_HEADERS_DIR}/Register.h"
|
|
"${MODEL_HEADERS_DIR}/Segment.h"
|
|
"${MODEL_HEADERS_DIR}/StructDefinition.h"
|
|
"${MODEL_HEADERS_DIR}/StructField.h"
|
|
"${MODEL_HEADERS_DIR}/Type.h"
|
|
"${MODEL_HEADERS_DIR}/TypeDefinition.h"
|
|
"${MODEL_HEADERS_DIR}/TypedefDefinition.h"
|
|
"${MODEL_HEADERS_DIR}/UnionDefinition.h"
|
|
"${MODEL_HEADERS_DIR}/UnionField.h")
|
|
|
|
add_subdirectory(Pass)
|
|
add_subdirectory(Importer)
|