storm
storm copied to clipboard
Eigen patch step fails on rebuild
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/
.