Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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. graph-algorithms/edge-addition-planarity-suite#125
- Loading branch information