Opened 2 years ago

Closed 2 years ago

#27175 closed defect (duplicate)

fix spkg-configure.m4 for libffi

Reported by: dimpase Owned by:
Priority: minor Milestone: sage-duplicate/invalid/wontfix
Component: packages: standard Keywords:
Cc: jdemeyer, embray Merged in:
Authors: Reviewers: Erik Bray
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

libffi upstream hides headers behind ABI-specific directories. On gentoo this leads to failing ./configure checks for ffi.h, as autoconf by itself is not aware of it. See e.g. ​https://bugs.gentoo.org/643582 for details. A fix would be to call pkg-config in case of failing checks for the header: 

$ pkg-config --cflags libffi
-I/usr/lib64/libffi-3.3_rc0/include

More precisely, the right PKG_... autoconf macro.

On the other hand, this might be a gcc gentoo bug, as on Debian the location is still not /usr/include, but something including x86_64 in its name, yet the compiler finds the header just fine.

Change History (1)

comment:1 Changed 2 years ago by embray

  • Milestone changed from sage-8.7 to sage-duplicate/invalid/wontfix
  • Resolution set to duplicate
  • Reviewers set to Erik Bray
  • Status changed from new to closed

This is already handled by #27114.

Note: See TracTickets for help on using tickets.