[Bug jit/118780] GCC build fails when enabling JIT but not plugins

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

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |14.2.1
           Keywords|                            |build

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
This probably affects all branches.

A fix might be to have

#define INCLUDE_DLFCN_H

in jit-playback.cc and change system.h to

#if (defined (ENABLE_PLUGIN) || defined (INCLUDE_DLFCN_H)) && defined
(HAVE_DLFCN_H)
/* If plugin support is enabled, we could use libdl.  */
#include <dlfcn.h>
#endif

or fully rely on a INCLUDE_DLFCN_H define everywhere.