mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Filippo Cremonese
82 lines
2.6 KiB
CMake
82 lines
2.6 KiB
CMake
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
# Header files containing model YAML must be added here
|
|
set(MODEL_HEADERS_DIR "${CMAKE_SOURCE_DIR}/include/revng/Model")
|
|
set(MODEL_HEADERS
|
|
"${MODEL_HEADERS_DIR}/ABI.h"
|
|
"${MODEL_HEADERS_DIR}/Architecture.h"
|
|
"${MODEL_HEADERS_DIR}/Argument.h"
|
|
"${MODEL_HEADERS_DIR}/BasicBlock.h"
|
|
"${MODEL_HEADERS_DIR}/Binary.h"
|
|
"${MODEL_HEADERS_DIR}/CABIFunctionType.h"
|
|
"${MODEL_HEADERS_DIR}/CallEdge.h"
|
|
"${MODEL_HEADERS_DIR}/DynamicFunction.h"
|
|
"${MODEL_HEADERS_DIR}/EnumEntry.h"
|
|
"${MODEL_HEADERS_DIR}/EnumType.h"
|
|
"${MODEL_HEADERS_DIR}/Function.h"
|
|
"${MODEL_HEADERS_DIR}/FunctionAttribute.h"
|
|
"${MODEL_HEADERS_DIR}/FunctionEdge.h"
|
|
"${MODEL_HEADERS_DIR}/FunctionEdgeBase.h"
|
|
"${MODEL_HEADERS_DIR}/FunctionEdgeType.h"
|
|
"${MODEL_HEADERS_DIR}/FunctionType.h"
|
|
"${MODEL_HEADERS_DIR}/NamedTypedRegister.h"
|
|
"${MODEL_HEADERS_DIR}/PrimitiveType.h"
|
|
"${MODEL_HEADERS_DIR}/PrimitiveTypeKind.h"
|
|
"${MODEL_HEADERS_DIR}/QualifiedType.h"
|
|
"${MODEL_HEADERS_DIR}/Qualifier.h"
|
|
"${MODEL_HEADERS_DIR}/QualifierKind.h"
|
|
"${MODEL_HEADERS_DIR}/RawFunctionType.h"
|
|
"${MODEL_HEADERS_DIR}/Relocation.h"
|
|
"${MODEL_HEADERS_DIR}/RelocationType.h"
|
|
"${MODEL_HEADERS_DIR}/Register.h"
|
|
"${MODEL_HEADERS_DIR}/Section.h"
|
|
"${MODEL_HEADERS_DIR}/Segment.h"
|
|
"${MODEL_HEADERS_DIR}/StructField.h"
|
|
"${MODEL_HEADERS_DIR}/StructType.h"
|
|
"${MODEL_HEADERS_DIR}/Type.h"
|
|
"${MODEL_HEADERS_DIR}/TypeKind.h"
|
|
"${MODEL_HEADERS_DIR}/TypedRegister.h"
|
|
"${MODEL_HEADERS_DIR}/TypedefType.h"
|
|
"${MODEL_HEADERS_DIR}/UnionField.h"
|
|
"${MODEL_HEADERS_DIR}/UnionType.h")
|
|
|
|
# Generate C++ headers from the collected YAML
|
|
set(HEADERS_DIR "${CMAKE_BINARY_DIR}/include/revng/Model/Generated")
|
|
set(SCHEMA_PATH "${CMAKE_BINARY_DIR}/model-schema.yml")
|
|
set(JSONSCHEMA_PATH "${CMAKE_BINARY_DIR}/model-jsonschema.yml")
|
|
tuple_tree_generator(
|
|
generate-model-tuple-tree-code
|
|
"${MODEL_HEADERS}"
|
|
TUPLE-TREE-YAML
|
|
model
|
|
"${SCHEMA_PATH}"
|
|
"${HEADERS_DIR}"
|
|
"revng/Model"
|
|
GENERATED_HEADERS
|
|
GENERATED_IMPLS
|
|
"${JSONSCHEMA_PATH}"
|
|
"${CMAKE_BINARY_DIR}/lib/python/${PYTHON_GENERATED_MODEL_PATH}"
|
|
Binary
|
|
"Identifier"
|
|
"MetaAddress")
|
|
|
|
install(DIRECTORY ${HEADERS_DIR} DESTINATION include/revng/Model)
|
|
|
|
# Define revngModel library
|
|
revng_add_analyses_library_internal(
|
|
revngModel
|
|
Binary.cpp
|
|
LoadModelPass.cpp
|
|
Processing.cpp
|
|
SerializeModelPass.cpp
|
|
Type.cpp
|
|
${GENERATED_IMPLS})
|
|
|
|
target_link_libraries(revngModel revngSupport)
|
|
add_dependencies(revngModel generate-model-tuple-tree-code)
|
|
|
|
add_subdirectory(Pass)
|
|
add_subdirectory(Importer)
|