From 1d0db88073cb28f66f02174b9d7078ba17e20319 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 18 Mar 2019 14:00:12 +0100 Subject: [PATCH] org: suggest python-dev for installing Python headers MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * doc/org/install.org: Mention python-dev and libpython3-dev. Suggested by Tereza Šťastná. * THANKS: Add her. --- THANKS | 1 + doc/org/install.org | 8 +++++--- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/THANKS b/THANKS index 49d5e17bf..24d3acf44 100644 --- a/THANKS +++ b/THANKS @@ -43,6 +43,7 @@ Silien Hong Simon Jantsch Shufang Zhu Sonali Dutta +Tereza Šťastná Tobias Meggendorfer. Tomáš Babiak Valentin Iovene diff --git a/doc/org/install.org b/doc/org/install.org index 89ff03878..2634d4904 100644 --- a/doc/org/install.org +++ b/doc/org/install.org @@ -23,9 +23,11 @@ Spot requires a C++14-compliant compiler. =g++= 5.0 or later, as well as =clang++= 3.5 or later should work. Spot expects a complete installation of Python (version 3.3 or later). -Especially, Python's headers files should be installed. If you don't -have Python installed, and do NOT want to install it, you should run -=./configure= with the =--disable-python= option. +Especially, Python's headers files should be installed (the package to +install has a name like =python-dev= or =libpython3-dev= in most +distributions). If you don't have Python installed, and do NOT want +to install it, you should run =./configure= with the +=--disable-python= option. ** Installation