GCC5 and LibertyEiffel

From: JIT-compilation using GCC 5 | Red Hat Developer Blog

This post is about something more user-visible: as of GCC 5, GCC’s code-generation backend can now be built as a shared library.

…

The new library in GCC 5 is named libgccjit, since it can be used to implement Just-In-Time compilation within a language interpreter. Although I primarily had JIT-compilation in mind when writing it, the library can also write the code it generates out to disk as an executable, allowing you to build more conventional ahead-of-time compilers.

Eureka!

That’s exactly what we need for GNU LIberty Eiffel!

Let’s study it a little, issuing

The new library in GCC 5 is named libgccjit, since it can be used to implement Just-In-Time compilation within a language interpreter. Although I primarily had JIT-compilation in mind when writing it, the library can also write the code it generates out to disk as an executable, allowing you to build more conventional ahead-of-time compilers.