Building a .NET application

Eiffel for .NET has some specific functionality meant to leverage necessary aspects of the .NET solution.

For that reason, the project settings for Eiffel for .NET introduces new options. These options include:

• Specifying whether the generated assembly should be an EXE or a DLL.
• Specifying the .NET runtime (v4.0, net6.0, net7.0, ...)

• (For .NET Framework only: choosing between generating verifiable or non verifiable IL code. Non verifiable IL code executes faster but requires high trust settings.)

The Eiffel for .NET compiler generates a single assembly whose name is the name of the system as given in the system options of the project settings .