You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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/.
The text was updated successfully, but these errors were encountered:
When Eigen is rebuilt (for example through changing
CMakeLists.txt
) the patch step throughgit apply
fails because the patch was already applied before.Workaround: remove the directory
build/resources/3rdparty/StormEigen-3.4.1alpha/
.The text was updated successfully, but these errors were encountered: