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

cmake: Remove unused checks. #184

Merged

Conversation

waywardmonkeys
Copy link

None of the header checks were used for that and can be removed.

One was used to check for sys/time.h and then enable gettimeofday() so we can instead just check for the gettimeofday() function instead.

Remove unused check for size of int.

Remove unused check for getpagesize().

Remove GECODE_HAS_UNISTD_H from the config header as it isn't used or set by anything (any longer).

None of the header checks were used for that and can be removed.

One was used to check for `sys/time.h` and then enable `gettimeofday()`
so we can instead just check for the `gettimeofday()` function instead.

Remove unused check for size of `int`.

Remove unused check for `getpagesize()`.

Remove `GECODE_HAS_UNISTD_H` from the config header as it isn't
used or set by anything (any longer).
@waywardmonkeys
Copy link
Author

Many of these didn't mirror checks in configure.ac but did mirror checks generated by it in configure. They weren't used though and many not necessary in 2023.

@waywardmonkeys
Copy link
Author

@zayenz Checking in on this as if this can land, I have some other things that I'd like to submit so that I don't lose track of them.

@zayenz
Copy link
Member

zayenz commented Nov 29, 2023

@waywardmonkeys Thanks for pinging me again. I started a new job this monday, so been a bit busy.

AFAICS, this looks like a good cleanup!

@zayenz zayenz merged commit c0de254 into Gecode:release/6.3.0 Nov 29, 2023
3 checks passed
@waywardmonkeys waywardmonkeys deleted the cmake-remove-unused-checks branch November 29, 2023 23:02
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

Successfully merging this pull request may close these issues.

2 participants