Opened 2 years ago

Last modified 20 months ago

#28905 closed enhancement

spkg-configure for cddlib — at Version 5

Reported by: dimpase Owned by:
Priority: major Milestone: sage-9.1
Component: build: configure Keywords:
Cc: saraedum, mjo Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by dimpase)

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, and part of executables into /usr/lib/cdd-tools/

Change History (5)

comment:1 Changed 2 years ago by dimpase

  • Summary changed from spkg-configure for libcdd to spkg-configure for cddlib

comment:2 Changed 2 years ago by mkoeppe

See also https://github.com/cddlib/cddlib/issues/26 "Consider installing headers in ${prefix}/include/cdd/ instead of ${prefix}/include"

comment:3 Changed 2 years ago by mkoeppe

  • Cc saraedum added

comment:4 Changed 2 years ago by saraedum

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.

comment:5 Changed 2 years ago by dimpase

  • Description modified (diff)
  • Milestone changed from sage-9.0 to sage-9.1

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/.

Note: See TracTickets for help on using tickets.