Package Details: stormchecker-git 1.3.0.r380.g28f8c9d82-1

Git Clone URL: (read-only, click to copy)
Package Base: stormchecker-git
Description: Storm is a tool for the analysis of systems involving random or probabilistic phenomena
Upstream URL:
Licenses: GPL3
Conflicts: stormchecker
Provides: stormchecker
Submitter: s14h
Maintainer: s14h
Last Packager: s14h
Votes: 0
Popularity: 0.000000
First Submitted: 2017-08-04 13:28 (UTC)
Last Updated: 2019-08-28 13:18 (UTC)

Dependencies (7)

Required by (0)

Sources (1)

Latest Comments

kris7t commented on 2021-12-02 14:56 (UTC) (edited on 2021-12-02 14:58 (UTC) by kris7t)

Since spot 2.10, spot requires C++17 to build. While storm only optionally uses spot, if spot is installed, storm will fail to build with

In file included from /usr/include/spot/tl/formula.hh:46,
                 from /home/kris/.cache/paru/clone/stormchecker-git/src/stormchecker-git/src/storm/automata/LTL2DeterministicAutomaton.cpp:13:
/usr/include/spot/misc/common.hh:39:6: error: #error C++17 compiler required
   39 |     #error C++17 compiler required
      |      ^~~~~

I don't know whether it is possible to configure storm to build with C++17 mode. If this is not possible, then spot support should be explicitly disabled in the PKGBUILD, I think.