mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Massimo Fioravanti
142 lines
4.1 KiB
CMake
142 lines
4.1 KiB
CMake
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
# Declares a python module as a target
|
|
# Named arguments:
|
|
# - TARGET_NAME: the name of the CMake target to be created
|
|
# - MODULE_FILES: list of relative paths of the python module sources
|
|
# - MODULE_GENERATED_FILES: list of relative paths of the python module generated sources
|
|
# The module sources will be copied to the build directory (in the lib/python folder)
|
|
# and installed in /lib/python.
|
|
function(python_module)
|
|
set(options)
|
|
set(oneValueArgs TARGET_NAME)
|
|
set(multiValueArgs MODULE_FILES MODULE_GENERATED_FILES)
|
|
cmake_parse_arguments(PYTHON_MODULE "${options}" "${oneValueArgs}" "${multiValueArgs}" ${ARGN})
|
|
|
|
foreach(MODULE_FILE ${PYTHON_MODULE_MODULE_FILES})
|
|
configure_file("${MODULE_FILE}" "${CMAKE_BINARY_DIR}/lib/python/${MODULE_FILE}" COPYONLY)
|
|
endforeach()
|
|
|
|
foreach(MODULE_FILE ${PYTHON_MODULE_MODULE_FILES} ${PYTHON_MODULE_MODULE_GENERATED_FILES})
|
|
# Copy module in the root at install time
|
|
get_filename_component(MODULE_FILE_DIR "${MODULE_FILE}" DIRECTORY)
|
|
install(
|
|
FILES "${CMAKE_BINARY_DIR}/lib/python/${MODULE_FILE}"
|
|
DESTINATION "${CMAKE_INSTALL_PREFIX}/lib/python/${MODULE_FILE_DIR}"
|
|
)
|
|
endforeach()
|
|
add_custom_target("${PYTHON_MODULE_TARGET_NAME}" DEPENDS ${PYTHON_MODULE_MODULE_FILES} ${PYTHON_MODULE_MODULE_GENERATED_FILES})
|
|
endfunction()
|
|
|
|
#
|
|
# Check that required python dependencies are available
|
|
#
|
|
file(STRINGS "requirements.txt"
|
|
REQUIREMENTS
|
|
REGEX "^[^#].+$"
|
|
)
|
|
check_python_requirements(${REQUIREMENTS})
|
|
|
|
#
|
|
# Install scripts
|
|
#
|
|
set(SCRIPTS
|
|
"scripts/revng"
|
|
"scripts/revng-merge-dynamic"
|
|
"scripts/revng-model-compare"
|
|
"scripts/revng-model-dump"
|
|
"scripts/revng-model-to-json"
|
|
)
|
|
foreach(SCRIPT ${SCRIPTS})
|
|
get_filename_component(SCRIPT_FILENAME "${SCRIPT}" NAME)
|
|
# revng script needs configure_file *without* COPYONLY
|
|
configure_file("${SCRIPT}" "${CMAKE_BINARY_DIR}/bin/${SCRIPT_FILENAME}")
|
|
install(
|
|
PROGRAMS "${CMAKE_BINARY_DIR}/bin/${SCRIPT_FILENAME}"
|
|
TYPE BIN
|
|
)
|
|
endforeach()
|
|
|
|
#
|
|
# Generate Python classes from JSON schema
|
|
#
|
|
set(PYTHON_GENERATED_MODEL_PATH "revng/model/v1/_generated.py")
|
|
|
|
add_custom_command(
|
|
OUTPUT "${CMAKE_BINARY_DIR}/lib/python/${PYTHON_GENERATED_MODEL_PATH}"
|
|
COMMAND "datamodel-codegen"
|
|
ARGS
|
|
--base-class .base.MonkeyPatchingBaseClass
|
|
--target-python-version 3.6
|
|
--input "${MODEL_JSONSCHEMA_PATH}"
|
|
> "${CMAKE_BINARY_DIR}/lib/python/${PYTHON_GENERATED_MODEL_PATH}"
|
|
DEPENDS generate-revngModel-tuple-tree-code
|
|
)
|
|
add_custom_target(python-model-generated DEPENDS "${CMAKE_BINARY_DIR}/lib/python/${PYTHON_GENERATED_MODEL_PATH}")
|
|
add_dependencies(revng-lift python-model-generated)
|
|
|
|
#
|
|
# Install revng.model (including autogenerated classes)
|
|
#
|
|
set(PYTHON_MODEL_FILES
|
|
revng/model/__init__.py
|
|
revng/model/_common/__init__.py
|
|
revng/model/_common/base.py
|
|
revng/model/_common/monkeypatches.py
|
|
revng/model/v1/__init__.py
|
|
revng/model/v1/base.py
|
|
revng/model/v1/metaaddress.py
|
|
revng/model/v1/reference.py
|
|
)
|
|
python_module(
|
|
TARGET_NAME python-model
|
|
MODULE_FILES ${PYTHON_MODEL_FILES}
|
|
MODULE_GENERATED_FILES "${PYTHON_GENERATED_MODEL_PATH}"
|
|
)
|
|
|
|
set(MERGE_DYNAMIC_MODULE_FILES
|
|
revng/cli/merge_dynamic/__init__.py
|
|
revng/cli/merge_dynamic/log.py
|
|
revng/cli/merge_dynamic/merge_dynamic.py
|
|
revng/cli/merge_dynamic/parsed_elf.py
|
|
revng/cli/merge_dynamic/util.py
|
|
)
|
|
python_module(
|
|
TARGET_NAME revng-merge-dynamic
|
|
MODULE_FILES ${MERGE_DYNAMIC_MODULE_FILES}
|
|
)
|
|
add_dependencies(revng-lift revng-merge-dynamic)
|
|
|
|
#
|
|
# Install revng.model_dump
|
|
#
|
|
set(DUMP_MODEL_MODULE_FILES
|
|
"revng/cli/model_dump/__init__.py"
|
|
"revng/cli/model_dump/__main__.py"
|
|
)
|
|
python_module(
|
|
TARGET_NAME revng-dump-model
|
|
MODULE_FILES ${DUMP_MODEL_MODULE_FILES}
|
|
)
|
|
add_dependencies(revng-lift revng-dump-model)
|
|
|
|
#
|
|
# Install revng.cli.support
|
|
#
|
|
python_module(
|
|
TARGET_NAME revng-python-support
|
|
MODULE_FILES "revng/cli/support.py"
|
|
)
|
|
|
|
#
|
|
# Install revng.cli.translate
|
|
#
|
|
python_module(
|
|
TARGET_NAME revng-python-translate
|
|
MODULE_FILES "revng/cli/translate/__init__.py"
|
|
"revng/cli/translate/pipelines/isolate-translate.yml"
|
|
"revng/cli/translate/pipelines/translate.yml"
|
|
)
|