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

buildsystem: sane warning if not using gmake #955

Merged

Conversation

james-d-mitchell
Copy link
Collaborator

This is an attempt to follow

#947 (comment)

so that a sane warning is emitted if trying to use make instead of gmake. Hopefully resolves #952. Thanks @fingolfin for the hints!

@james-d-mitchell james-d-mitchell added the build-system A label for issues or PRs related to the build system label Sep 14, 2023
Makefile Outdated Show resolved Hide resolved
Makefile Outdated Show resolved Hide resolved
Makefile Outdated Show resolved Hide resolved
Makefile Outdated Show resolved Hide resolved
@james-d-mitchell
Copy link
Collaborator Author

This seems to work on Mac OSX, and has the desired behaviour on openbsd too (where I first noticed the issue that this PR resolves). Will merge if the CI passes ok too.

@james-d-mitchell james-d-mitchell merged commit 8abd3de into semigroups:main Sep 14, 2023
12 checks passed
@james-d-mitchell james-d-mitchell deleted the non-gmake-warning branch September 14, 2023 10:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
build-system A label for issues or PRs related to the build system
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add warning if using make instead of gmake
2 participants