Skip to content

Conversation

jschueller
Copy link
Contributor

@jschueller jschueller commented Feb 11, 2025

avoids the deprecation message stating that cmake<3.10 is deprecated

3.13 is still pretty old (2018) part of debian 10

avoids the deprecation message stating that cmake<3.10 is deprecated
3.13 is still pretty old (2018) part of debian 10
@bjodah
Copy link
Contributor

bjodah commented Feb 12, 2025

I think this is very reasonable, but let's wait and see what @isuruf thinks.

@isuruf isuruf merged commit 3fc77ed into symengine:master Feb 15, 2025
34 of 36 checks passed
@isuruf
Copy link
Member

isuruf commented Feb 15, 2025

Thanks

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.

3 participants