-
-
Notifications
You must be signed in to change notification settings - Fork 655
Closed
Milestone
Description
the main issue here is how to check that the version installed on the system is good enough.
We check for a header that only appeared in 2018, that's all we could find atm.
Depends on #28242
Upstream: Reported upstream. No feedback yet.
Component: build: configure
Author: Dima Pasechnik
Branch/Commit: 699f220
Reviewer: Isuru Fernando
Issue created by migration from https://trac.sagemath.org/ticket/28333