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

Benchmarks Fix, main branch (2023.03.29.) #99

Merged
merged 1 commit into from
Mar 29, 2023

Conversation

krasznaa
Copy link
Member

Removed the reference to the non-existent benchmarks/ directory. This was introduced in #69, which I just really don't see the point in now that I look back. 😦 (One would only add Google Benchmark in the PR in which it is first needed. And touching all those files without a need is just pretty bad... 😦)

At the same time enabled the "build of benchmarks" in the CI. In case we ever add some to the project...

At the same time enabled the build of benchmarks in the CI. In case
we ever add some to the project...
@krasznaa krasznaa added the bug Something isn't working label Mar 29, 2023
@beomki-yeo
Copy link
Contributor

I think it is best to be reviewed by @niermann999

@krasznaa
Copy link
Member Author

To make it clear: If you currently use -DALGEBRA_PLUGINS_BUILD_BENCHMARKS=TRUE in your build, your configuration fails. (As the configuration tries to open a directory that is just not there.)

This is how I discovered this issue. By trying to make sure that all parts of the code would be compiled for another development that I'm working on at the moment.

@niermann999
Copy link
Contributor

Benchmarks are added in #95 and the benchmarks directory is filled there. I am Ok with fixing this in the meantime

@krasznaa
Copy link
Member Author

That does paint it in a slightly different light, but let's just add back the add_subdirectory(...) call in #95 then. Once there is actually a subdirectory there. 😉

@krasznaa krasznaa merged commit 6831508 into acts-project:main Mar 29, 2023
@krasznaa krasznaa deleted the BenchmarkFix-main-20230329 branch March 29, 2023 13:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants