Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This seems to be broken because `GMP_INCLUDE_DIR` isn't set at all by `Findgmp.cmake`, it sets `GMP_INCLUDES` instead. It's however set by relic's script which isn't configured at this point though. If you want to keep this include it should be `include_directories(${GMP_INCLUDES})` rather i guess?
- Loading branch information