Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

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

Package Actions

Git Clone URL:	https://aur.archlinux.org/stormchecker-git.git (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:	http://www.stormchecker.org/
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)

carl-master14-git^AUR
glpk (glpk-git^AUR, glpk-cut-log^AUR)
hwloc
xerces-c
z3 (z3-java^AUR, z3-git^AUR)
cmake (cmake-git^AUR) (make)
git (git-git^AUR) (make)

Required by (0)

Sources (1)

stormchecker-git

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.