search

gap-packages / NautyTracesInterface

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

Fix `--with-nauty=PREFIX` to actually work with system installed nauty #23

Open fingolfin opened 5 years ago

fingolfin commented 5 years ago

Then also test that it keeps working as part of the CI tests.

On Ubuntu, one should be able to use libnauty2-dev for this purpose.