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
Hi Vitus,
On Mon, Jun 29, 2015 at 6:51 PM, Vitus Lam vitus.lam@hku.hk wrote:
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?
[...]
./spot_impl_wrap.cxx:155:21: fatal error: Python.h: No such file or directory # include <Python.h> ^ compilation terminated.
You should either install the missing Python.h file on your system (it's usually in a package called python3-devel, but the name might be different in your Linux distribution), or compile Spot without Python support (the README file explains how to do so).
I will add a check in configure to complain about this missing file earlier.
Dear Alexandre,
After installing Python 3, the "make" command could be executed successfully. I then executed the "make check" command and resulted in the following error. Attached is the test-suite.log.
In addition, I continued with the installation by running the "make install" and "make installcheck" commands. Both commands seem to work properly.
Can you advise what needs to be done in order to fix the issue?
FAIL: randpsl.test PASS: cycles.test make[5]: Entering directory '/home/vituslam/spot-1.99.1/src/tests' make[5]: Nothing to be done for 'all'. make[5]: Leaving directory '/home/vituslam/spot-1.99.1/src/tests' ============================================================================ Testsuite summary for spot 1.99.1 ============================================================================ # TOTAL: 121 # PASS: 110 # SKIP: 10 # XFAIL: 0 # FAIL: 1 # XPASS: 0 # ERROR: 0 ============================================================================ See src/tests/test-suite.log Please report to spot@lrde.epita.fr ============================================================================ Makefile:2064: recipe for target 'test-suite.log' failed make[4]: *** [test-suite.log] Error 1 make[4]: Leaving directory '/home/vituslam/spot-1.99.1/src/tests' Makefile:2170: recipe for target 'check-TESTS' failed make[3]: *** [check-TESTS] Error 2 make[3]: Leaving directory '/home/vituslam/spot-1.99.1/src/tests' Makefile:2236: recipe for target 'check-am' failed make[2]: *** [check-am] Error 2 make[2]: Leaving directory '/home/vituslam/spot-1.99.1/src/tests' Makefile:1278: recipe for target 'check-recursive' failed make[1]: *** [check-recursive] Error 1 make[1]: Leaving directory '/home/vituslam/spot-1.99.1/src' Makefile:1186: recipe for target 'check-recursive' failed make: *** [check-recursive] Error 1
Vitus ________________________________________ From: aduret@gmail.com aduret@gmail.com on behalf of Alexandre Duret-Lutz adl@lrde.epita.fr Sent: Tuesday, June 30, 2015 1:51 AM To: Vitus Lam Cc: spot@lrde.epita.fr Subject: Re: Installation of SPOT 1.99.1
Hi Vitus,
On Mon, Jun 29, 2015 at 6:51 PM, Vitus Lam vitus.lam@hku.hk wrote:
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?
[...]
./spot_impl_wrap.cxx:155:21: fatal error: Python.h: No such file or directory # include <Python.h> ^ compilation terminated.
You should either install the missing Python.h file on your system (it's usually in a package called python3-devel, but the name might be different in your Linux distribution), or compile Spot without Python support (the README file explains how to do so).
I will add a check in configure to complain about this missing file earlier. -- Alexandre Duret-Lutz
On Tue, Jun 30, 2015 at 6:57 PM, Vitus Lam vitus.lam@hku.hk wrote:
After installing Python 3, the "make" command could be executed successfully. I then executed the "make check" command and resulted in the following error. Attached is the test-suite.log.
Thank you. The test is failing because it runs out of memory. I suspect you have only 2GB (or less) on your computer?
Can you advise what needs to be done in order to fix the issue?
I don't think there is anything you can fix here. Unless you run ltlcross on translator tools that produce automata with 1000 states, it is unlikely to affect you in practice, so you should just ignore the failure.
I'll see if there is something I can do to reduce the memory consumption on this particular case.
Best regards,
-
Alexandre Duret-Lutz -
Vitus Lam