Created attachment 227496 [details]
math/nauty: add missing header files
An upcoming patch for polymake requires naututil.h which is currently not installed.
While at it, install other missing header files:
- naututil.h pulls in naurng.h
- nautycliquer.h pulls in gtools.h
- traces.h pulls in gtoots.h and schreier.h
(And thanks for your work on Polymake!)
mauty-27r2 was released yesterday.
I'll submit another bug report to update to it which will supersede this one.