Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Check for Eigen version #17

Open
sjunges opened this issue Nov 12, 2023 · 0 comments
Open

Check for Eigen version #17

sjunges opened this issue Nov 12, 2023 · 0 comments

Comments

@sjunges
Copy link
Contributor

sjunges commented Nov 12, 2023

Errors like

$ cat /Users/Mees_1/storm/build/carl-prefix/src/carl-stamp/carl-build-err.log
clang: warning: argument unused during compilation: '-msse' [-Wunused-command-line-argument]
clang: warning: argument unused during compilation: '-msse2' [-Wunused-command-line-argument]
/Users/Mees_1/storm/build/resources/3rdparty/carl_download/source_dir/src/carl/core/rootfinder/EigenWrapper.cpp:3:10: fatal error: 'eigen3/Eigen/Dense' file not found in #include <eigen3/Eigen/Dense>

seem to originate from using a wrong preinstalled eigen version. It would be helpful to detect such errors during configuration to clarify that this is a problem with the host system. We could e.g. check whether the include compiles (cmake has some nice functions that support these checks).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant