Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
gh-39111: build/pkgs/planarity/spkg-configure.m4: update header check
In the `./configure` test for libplanarity, we should be testing for `planarity/graph.h` instead of `planarity/planarity.h`: 1. `graph.h` is what we actually use in `src/sage/graphs/planarity.pyx`, 2. `planarity.h` is going away in a future version. cf. https://github.com/graph-algorithms/edge-addition-planarity- suite/pull/125 URL: #39111 Reported by: Michael Orlitzky Reviewer(s): Frédéric Chapoton
- Loading branch information