From 55b70b4c7e39c2a39901dc1856bcaf00d3cd84b1 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Wed, 3 Aug 2022 00:29:22 +0700
Subject: [PATCH] Remove contrib/cmake.
This mainly contained a bootstrap script that did nothing except
say that it would be deleted soon. It has been 5 years, so it
should be safe to go away now.
---
contrib/cmake/bootstrap.py | 48 ------------------------
contrib/cmake/maintainers.txt | 3 --
contrib/cmake/src/test/lp/CMakeLists.txt | 6 ---
3 files changed, 57 deletions(-)
delete mode 100755 contrib/cmake/bootstrap.py
delete mode 100644 contrib/cmake/maintainers.txt
delete mode 100644 contrib/cmake/src/test/lp/CMakeLists.txt
diff --git a/contrib/cmake/bootstrap.py b/contrib/cmake/bootstrap.py
deleted file mode 100755
index dac08b383..000000000
--- a/contrib/cmake/bootstrap.py
+++ /dev/null
@@ -1,48 +0,0 @@
-#!/usr/bin/env python
-"""
-This script is an artifact of compromise that was
-made when the CMake build system was first introduced
-(see #461).
-
-This script now does nothing. It remains only to not
-break out-of-tree scripts that build Z3 using CMake.
-
-Eventually this script will be removed.
-"""
-import argparse
-import logging
-import os
-import pprint
-import shutil
-import sys
-
-def main(args):
- logging.basicConfig(level=logging.INFO)
- parser = argparse.ArgumentParser(description=__doc__)
- parser.add_argument('mode',
- choices=['create', 'remove'],
- help='The mode to use')
- parser.add_argument("-l","--log-level",
- type=str,
- default="info",
- dest="log_level",
- choices=['debug','info','warning','error']
- )
- parser.add_argument("-H", "--hard-link",
- action='store_true',
- default=False,
- dest='hard_link',
- help='When using the create mode create hard links instead of copies'
- )
- pargs = parser.parse_args(args)
-
- logLevel = getattr(logging, pargs.log_level.upper(),None)
- logging.basicConfig(level=logLevel)
- logging.warning('Use of this script is deprecated. The script will be removed in the future')
- logging.warning('Action "{}" ignored'.format(pargs.mode))
- if pargs.hard_link:
- logging.warning('Hard link option ignored')
- return 0
-
-if __name__ == '__main__':
- sys.exit(main(sys.argv[1:]))
diff --git a/contrib/cmake/maintainers.txt b/contrib/cmake/maintainers.txt
deleted file mode 100644
index caa6798c6..000000000
--- a/contrib/cmake/maintainers.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-# Maintainers
-
-- Dan Liew (@delcypher)
diff --git a/contrib/cmake/src/test/lp/CMakeLists.txt b/contrib/cmake/src/test/lp/CMakeLists.txt
deleted file mode 100644
index 6683a1758..000000000
--- a/contrib/cmake/src/test/lp/CMakeLists.txt
+++ /dev/null
@@ -1,6 +0,0 @@
-add_executable(lp_tst lp_main.cpp lp.cpp $<TARGET_OBJECTS:util> $<TARGET_OBJECTS:polynomial> $<TARGET_OBJECTS:nlsat> $<TARGET_OBJECTS:lp> )
-target_compile_definitions(lp_tst PRIVATE ${Z3_COMPONENT_CXX_DEFINES})
-target_compile_options(lp_tst PRIVATE ${Z3_COMPONENT_CXX_FLAGS})
-target_include_directories(lp_tst PRIVATE ${Z3_COMPONENT_EXTRA_INCLUDE_DIRS})
-target_link_libraries(lp_tst PRIVATE ${Z3_DEPENDENT_LIBS})
-z3_append_linker_flag_list_to_target(lp_tst ${Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS})