spkg-configure for cddlib

[dimpase]

Provide spkg-configure.m4 to use libcdd/cdd from the system.

This ticket is limited to systems that install headers into /usr/include rather than /usr/include/cdd (Debian) or /usr/include/cddlib (Fedora).

Follow-up: #29413 (Upgrade cddlib, fix cddlib header search for packages latte_int, gfan, topcom)

CC: @saraedum @orlitzky

Component: build: configure

Author: Dima Pasechnik, Michael Orlitzky

Branch/Commit: de9fb2e

Reviewer: Matthias Koeppe

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

[mkoeppe]

comment:2

See also cddlib/cddlib#26 "Consider installing headers in ${prefix}/include/cdd/ instead of ${prefix}/include"

[saraedum]

comment:4

Sorry, I fail to understand the description of this ticket. What are you trying to achieve here exactly? Would be nice if you could elaborate a bit.

[dimpase]

Description changed:

--- 
+++ 
@@ -1,3 +1,6 @@
+provide `spkg-configure.m4` to use libcdd/cdd from the system. 
+There should not be a problem with headers, after all we can install links to `$SAGE_LOCAL/include/`.
+
 Debian has libcdd-dev (library) and libcdd-tools (executables) packages.
 
 The obstacles: installs headers in `usr/include/cdd` (and not in `/usr/include`,

[dimpase]

comment:5

The goal is to use libcdd/cdd from the system (as in all tickets from #27330).
There should not be a problem with headers, after all we can install links to $SAGE_LOCAL/include/. I don't know which cdd executables are used in Sagemath.
Again,for these we can install links in SAGE_LOCAL/bin/.

[dimpase]

comment:6

Am I right that the only parts of cdd(lib) currently used in Sage are executables cddexec* ? If so, it would be trivial to provide spkg-configure.m4.

[dimpase]

Commit: 5b8ca8f

[dimpase]

Branch: u/dimpase/packages/cddlibconfig

[dimpase]

Author: Dima Pasechnik