-
-
Couldn't load subscription status.
- Fork 680
Closed
Milestone
Description
Here the use of sdh_configure is not really necessary, but I use it for the built-in error handling.
Depends on #25039
Component: build
Keywords: destdir nauty
Author: Erik Bray
Branch/Commit: 216dd65
Reviewer: Julian Rüth
Issue created by migration from https://trac.sagemath.org/ticket/25086