using e-POSIX with ISE Eiffel 5.7

Hello everyone,

what is the best way to use e-POSIX with ISE Eiffel 5.7?

Following

  http://se.ethz.ch/teaching/ws2005/0239/download/eposix-howto.pdf

I managed to compile e-POSIX and create an example project as suggested
in
the howto. If I open the project via the generated .ecf file in Eiffel
Studio, it loads
and compiles fine. However, all the e-POSIX cl***** are grouped under
"Clusters"
and not under "Library". So, what I would like is to generate a
seperate e-POSIX .ecf
file that I can use to add e-POSIX as a library to EiffelStudio via
"Tools->Add Library..."
Is there some way to achieve this?


Thanks,
Felix

PS: Are there any plans to include e-POSIX with EiffelStudio 5.7 by
default?