From 586feabd3dd689a0ce2bf76f3fc7ab2ab8fd3b03 Mon Sep 17 00:00:00 2001 From: Alessandro Di Federico Date: Tue, 15 Mar 2022 17:55:26 +0100 Subject: [PATCH] Drop scripts/revng-model-dump --- python/CMakeLists.txt | 1 - python/scripts/revng-model-dump | 9 --------- python/setup.py | 1 - 3 files changed, 11 deletions(-) delete mode 100755 python/scripts/revng-model-dump diff --git a/python/CMakeLists.txt b/python/CMakeLists.txt index 7f202ffe2..b3901cf27 100644 --- a/python/CMakeLists.txt +++ b/python/CMakeLists.txt @@ -45,7 +45,6 @@ check_python_requirements(${REQUIREMENTS}) set(SCRIPTS "scripts/revng-merge-dynamic" "scripts/revng-model-compare" - "scripts/revng-model-dump" "scripts/revng-model-to-json" ) foreach(SCRIPT ${SCRIPTS}) diff --git a/python/scripts/revng-model-dump b/python/scripts/revng-model-dump deleted file mode 100755 index cd376e25b..000000000 --- a/python/scripts/revng-model-dump +++ /dev/null @@ -1,9 +0,0 @@ -#!/usr/bin/env python3 -# -# This file is distributed under the MIT License. See LICENSE.md for details. -# -from revng.cli.model_dump.__main__ import main - - -if __name__ == "__main__": - main() diff --git a/python/setup.py b/python/setup.py index 171385a82..80e019149 100644 --- a/python/setup.py +++ b/python/setup.py @@ -17,7 +17,6 @@ setup( "scripts/revng", "scripts/revng-merge-dynamic", "scripts/revng-model-compare", - "scripts/revng-model-dump", "scripts/revng-model-to-json", "scripts/revng-translate", ],