1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
From: =?utf-8?q?Timo_R=C3=B6hling?= <roehling@debian.org>
Date: Mon, 11 Apr 2022 12:03:39 +0200
Subject: Remove check for unneeded development headers
---
setup.py | 6 ------
1 file changed, 6 deletions(-)
diff --git a/setup.py b/setup.py
index 885b016..f27e195 100755
--- a/setup.py
+++ b/setup.py
@@ -79,12 +79,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("$ sudo apt-get install python-dev", file=sys.stderr)
- sys.exit(-1)
setup(
version = '4.15.0',
|
