search

moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
138 stars 75 forks source link

Eigen patch step fails on rebuild #616

Open volkm opened 2 months ago

volkm commented 2 months ago

When Eigen is rebuilt (for example through changing CMakeLists.txt) the patch step through git apply fails because the patch was already applied before.

Workaround: remove the directory build/resources/3rdparty/StormEigen-3.4.1alpha/.