[Bug modula2/121629] New: Where to install 3rd party library .def files

[gaius at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 121629
           Summary: Where to install 3rd party library .def files
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: modula2
          Assignee: gaius at gcc dot gnu.org
          Reporter: gaius at gcc dot gnu.org
  Target Milestone: ---

Forwarded from the gm2 mailing list:

https://lists.nongnu.org/archive/html/gm2/2025-04/msg00001.html

In summary, where should 3rd party *.def files be placed?