As of version 6.0.6.6895, EiffelStudio can compile against either EiffelBase or FreeELKS. "FreeELKS is a joint effort between Eiffel Software and Eric Bezault to provide a compiler independent implementation of the ELKS classes. Currently FreeELKS is based on EiffelBase with minor modifications so that it can be compiled by more than one compiler, currently EiffelStudio and gec.

After abstracting some of the implementation details of the compiler's finish_freezing back-end and bettering automatic environment configuration, I found it being used in more and more places.