IANAL , and I am not familiar with Eiffel, however, I am confident enough in their statement "The GPL version is only for open source software development! If you want to evaluate EiffelStudio for commercial software development, please download our version of Enterprise Evaluation", is a violation of the GPL. The GPL FAQ states that the output from the GPLed program retains the same copyright as the input:
Can I use GPL editors such as GNU Emacs to develop proprietary software? Can I use GPL-covered tools like GCC to compile them?
Yes, because the copyright to editors and tools does not cover the code you write. Using them does not place any legal restrictions on the license you use for your code.
Some programs copy parts of themselves to the release for technical reasons - for example, Bison copies a standard parser program to its output file. In such cases, the copied text on the output is covered by the same license that covers it in the source code. Meanwhile, the output part obtained from the input program inherits the copyright status of the input.
As it happens, Bison can also be used to develop proprietary software. This is because we decided to explicitly allow the use of the Bison standard parser program in Bison output files without restrictions. We did it because there were other tools comparable to Bison, which are already authorized use for proprietary programs.
This tells me that the code generated by the EPLELSTUE GPL version should not be released under the GPL .
Here are a few more for you:
Is there a way that I can GPL people get from using my program? For example, if my program is used to develop equipment designs, maybe I demand that these projects be free
In general, this is legally impossible; copyright law does not give you any word in using people to exit your data using your program. If a user uses your program to enter or convert his own data, the copyright for the release belongs to him, not to you. More commonly, when a program translates its input into some other form, the copyright status of the output inherits the input that was generated from.
So, the only way you say to use the result is if a substantial part of the copies are copied (more or less) from the text in your program. For example, part of the Bison result (see above) will be covered by the GNU GPL if we did not make an exception in this particular case.
You can artificially create a program copy specific text to your output even if there is no technical reason for this. But if this copied text does not serve a practical purpose, the user could simply remove this text from the output and use only the rest. Then he would not have to obey the conditions for the redistribution of the copied text.
In what cases is the output of the GPL program covered by the GPL too?
Only when the program copies part of itself to the output.