I have noticed that on some targets, like ARM, where it is important to clear the instruction cache before calling jitted code, the jit_flush operation is a no-op when GNU lightning is not compiled with GCC:
This cannot be correct unless GNU lightning is not supposed to be compiled with a different compiler.
It would probably be better to have a check for libgcc in `
configure.ac' (e.g. by using `AC_LIB_HAVE_LINKFLAGS' from [1]) instead so that only `libgcc' would be needed and not `gcc' as the C compiler.
Thanks,
Marc
--