Changes between Version 45 and Version 46 of Ticket #28905


Ignore:
Timestamp:
03/27/20 12:53:30 (16 months ago)
Author:
mkoeppe
Comment:

Detects cddlib correctly on archlinux-latest-standard (https://github.com/mkoeppe/sage/runs/537774833).

We don't have a test for Gentoo (#29105, hint hint), but I assume you have tested it there.

As expected, not detected on debian and fedora. I have created follow-up ticket #29413 for that and edited the ticket description.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #28905

    • Property Status changed from needs_review to positive_review
    • Property Reviewers changed from to Matthias Koeppe
  • Ticket #28905 – Description

    v45 v46  
    1 provide `spkg-configure.m4` to use libcdd/cdd from the system.
    2 There should not be a problem with headers, after all we can install links to `$SAGE_LOCAL/include/`.
     1Provide `spkg-configure.m4` to use libcdd/cdd from the system.
    32
    4 Debian has libcdd-dev (library) and libcdd-tools (executables) packages.
    5 
    6 The obstacles: installs headers in `usr/include/cdd` (and not in `/usr/include`,
    7 and part of executables into `/usr/lib/cdd-tools/`
     3This ticket is limited to systems that install headers into `/usr/include` rather than `/usr/include/cdd` (Debian) or `/usr/include/cddlib` (Fedora).
    84
    95Follow-up: #29413 (Upgrade cddlib, fix cddlib header search for packages latte_int, gfan, topcom)