search

gap-packages / NautyTracesInterface

Interface from GAP to Nauty
https://gap-packages.github.io/NautyTracesInterface/
Other
6 stars 6 forks source link

Single compilation step #3

Closed james-d-mitchell closed 7 years ago

james-d-mitchell commented 7 years ago

It'd be great if it was possible to just build nauty/traces and NautyTracesInterface at the same time, i.e. not be required to build nauty first and then NautyTracesInterface.

Also in configure.ac it'd be good to check if nauty is available.

sebasguts commented 7 years ago

You need to use the nauty version that comes with the package anyway, as we patched the nauty configuration for compilation. So should it check if nauty is compiled?