Figure out which parts of https://github.com/stormchecker/stormpy/blob/master/CMakeLists.txt#L193 are necessary and which could be removed.
Figure out which parts of https://github.com/stormchecker/stormpy/blob/master/CMakeLists.txt#L193 are necessary and which could be removed.