summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimo Röhling <roehling@debian.org>2022-04-11 12:03:39 +0200
committerTimo Röhling <roehling@debian.org>2024-02-23 13:44:05 +0100
commitd9907e347d5dcb7e7da145724d7e9adb08d0bd86 (patch)
tree6de1002957a0ff535a8f0d0fdb5a0415f3342f08
parentf70983322d0698c5815581e17287a963da28fa82 (diff)
Remove check for unneeded development headers
Gbp-Pq: Name 0001-Remove-check-for-unneeded-development-headers.patch
-rwxr-xr-xsetup.py6
1 files changed, 0 insertions, 6 deletions
diff --git a/setup.py b/setup.py
index 88ce6c2..72a7fe8 100755
--- a/setup.py
+++ b/setup.py
@@ -55,12 +55,6 @@ if sys.version_info < (3, 4):
site.ENABLE_USER_SITE = "--user" in sys.argv[1:]
-# Check that the user has installed the Python development headers
-PythonH = os.path.join(get_python_inc(), 'Python.h')
-if not os.path.exists(PythonH):
- print("You must install the Python development headers!", file=sys.stderr)
- print("$ apt-get install python-dev", file=sys.stderr)
- sys.exit(-1)
setup(
version = '4.12.0',