Re: [Spot] Installation of SPOT 1.99.1

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(a)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(a)gmail.com <aduret(a)gmail.com> on behalf of Alexandre Duret-Lutz <adl(a)lrde.epita.fr> Sent: Tuesday, June 30, 2015 1:51 AM To: Vitus Lam Cc: spot(a)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(a)hku.hk> wrote: [...] 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