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
Looks good! (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.