In #29413 we're waiting mainly on gfan. There is no obvious way to submit things upstream, so we should just patch it finally. The spkg-configure.m4 for cddlib is looking for headers in the wrong location which, ironically, prevents the system gfan from being used.

Component: packages: standard

Author: Michael Orlitzky

Branch/Commit: db0dea5

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/32243