stormpy icon indicating copy to clipboard operation
stormpy copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

stormpy passes storm location as CLI flag to setup.py

Open linusheck opened this issue 8 months ago • 0 comments

Tools like poetry do not support setup.py CLI flags (https://github.com/python-poetry/poetry/issues/845). I would move away from using them, this is definitely related to https://github.com/moves-rwth/stormpy/issues/162.

linusheck avatar Jun 21 '24 11:06 linusheck