Dear Alexandre,
I tried to install SPOT 1.99.1 on Fedora 21. During the execution of the "make" command, the following error returned. How can I fix the compilation issue?
make[3]: Entering directory '/home/vituslam/spot-1.99.1/wrap/python'
Making all in .
make[4]: Entering directory '/home/vituslam/spot-1.99.1/wrap/python'
/bin/sh ../../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include/python3.4m -I../../src -I../../src -I../../buddy/src -DSWIG_TYPE_TABLE=spot -DNDEBUG -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++11 -g
-O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT spot_impl_wrap.lo -MD -MP -MF .deps/spot_impl_wrap.Tpo -c -o spot_impl_wrap.lo `test -f './spot_impl_wrap.cxx' || echo './'`./spot_impl_wrap.cxx
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include/python3.4m -I../../src -I../../src -I../../buddy/src -DSWIG_TYPE_TABLE=spot -DNDEBUG -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++11 -g -O3 -ffast-math -fstrict-aliasing
-fomit-frame-pointer -MT spot_impl_wrap.lo -MD -MP -MF .deps/spot_impl_wrap.Tpo -c ./spot_impl_wrap.cxx -fPIC -DPIC -o .libs/spot_impl_wrap.o
./spot_impl_wrap.cxx:155:21: fatal error: Python.h: No such file or directory
# include <Python.h>
^
compilation terminated.
Makefile:1282: recipe for target 'spot_impl_wrap.lo' failed
make[4]: *** [spot_impl_wrap.lo] Error 1
make[4]: Leaving directory '/home/vituslam/spot-1.99.1/wrap/python'
Makefile:1349: recipe for target 'all-recursive' failed
make[3]: *** [all-recursive] Error 1
make[3]: Leaving directory '/home/vituslam/spot-1.99.1/wrap/python'
Makefile:1107: recipe for target 'all-recursive' failed
make[2]: *** [all-recursive] Error 1
make[2]: Leaving directory '/home/vituslam/spot-1.99.1/wrap'
Makefile:1186: recipe for target 'all-recursive' failed
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory '/home/vituslam/spot-1.99.1'
Makefile:1109: recipe for target 'all' failed
make: *** [all] Error 2
Thanks in advance for your assistance.
Vitus Lam