#---------------------------------------------------------------------
# Python dev
+my $PY_VERSION;
if($python) {
if(check_config(
"python --version 2>&1 |",
- '^Python 2\.([567]|[567]\.\S*)$',
+ '^Python 2\.([4567]|[4567]\.\S*)$',
"python is present",
"python is missing or is not a good version."
))
}
if($python) {
my $PY_PREFIX = `python pycaml/getprefix.py | tr -d '\n'`;
- my $PY_VERSION = `python pycaml/getversion.py | tr -d '\n'`;
+ $PY_VERSION = `python pycaml/getversion.py | tr -d '\n'`;
my $python_hdr = "$PY_PREFIX/include/python$PY_VERSION/Python.h";
if(check_config(
"ls $python_hdr 2> /dev/null | ",
# Features
FEATURE_PYTHON=$python
FEATURE_TARZAN=$tarzan
+";
+
+if ($python) {
+print CONFIG "PYVER=$PY_VERSION";
+}
+print CONFIG "
PYCAMLDIR=$pydir
MENHIRDIR=$menhirdir
SEXPDIR=$sexpdir
pr2 "Support for external ocaml library in ocaml scripting: yes (ocamlfind found)";
}
else {
-pr2 "Support for external ocaml library in ocaml scripting: no (ocamlfind may be required at runtime)";
+pr2 "Support for external ocaml library in ocaml scripting: no";
+pr2 "!!!!!!! WARNING !!!!!!! ocamlfind may be required at runtime";
}
pr2 "";