[Bug c/121246] New: dfp headers missing

[tydeman at tybor dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121246

            Bug ID: 121246
           Summary: dfp headers missing
           Product: gcc
           Version: 15.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tydeman at tybor dot com
  Target Milestone: ---

Fedora Linux 42 on Intel x86_64 with gcc 15.1.1 and glibc 2.41-8 are missing
the dfp headers:
        dfp/fenv.h
        dfp/math.h
        dfp/stdlib.h
        dfp/wchar.h
        dfp/float.h
        dfp/decimal/decimal

Also, while the system has 
  /usr/lib64/libdfp-1.0.16.so
  /usr/lib64/libdfp.so.1
using -ldfp to gcc does not find that library.

I am not sure if this is a packaging issue with Fedora Linux,
or a problem with gcc trying to compile C23 programs via gnu23 option.