Hi Spot Team,
I am trying to compile Cyclist (cyclist-prover.org) against the latest version (2.8.6) of Spot, and I am getting an error.
Cyclist is including spot/twa/twa.hh, and when compiling I get the following error:
In file included from /home/cim/staff/uhac003/Academic/Resources/Spot/spot-2.8.6/install/include/spot/twa/acc.hh:28:0, from /home/cim/staff/uhac003/Academic/Resources/Spot/spot-2.8.6/install/include/spot/twa/twa.hh:27, from src/soundness/proof_aut.hpp:4, from src/soundness/proof_aut.c:1: /home/cim/staff/uhac003/Academic/Resources/Spot/spot-2.8.6/install/include/spot/misc/bitset.hh: In constructor ‘spot::bitset<N>::bitset(spot::bitset<N>::word_t)’: /home/cim/staff/uhac003/Academic/Resources/Spot/spot-2.8.6/install/include/spot/misc/bitset.hh:57:5: error: constexpr constructor does not have empty body } ^
In fact, I also get this error when trying to compile again versions 2.6.3 and 2.7.5 too.
When I try to compile against version 2.5.3, I get the error that there is no such file spot/twa/twa.hh.
Is this a bug, or has the API changed? If the latter, how should I update my code to use the newer versions?
Thanks,
Reuben
Hi Reuben,
On Wed, Feb 26, 2020 at 10:13 AM Rowe, Reuben Reuben.Rowe@rhul.ac.uk wrote:
Hi Spot Team,
I am trying to compile Cyclist (cyclist-prover.org) against the latest version (2.8.6) of Spot, and I am getting an error. [...] error: constexpr constructor does not have empty body [...] Is this a bug, or has the API changed? If the latter, how should I update my code to use the newer versions?
Looks like the kind of error you could get when compiling C++14 code with a C++11 compiler. Spot switched to C++14 in version 2.4 (2017-09-06). We'll probably switch to C++17 this year.
You may want to check the NEWS file for the list of changes that occurred between the last version you used and the one you are upgrading to.