<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
		<id>https://dev.eiffel.com/index.php?action=history&amp;feed=atom&amp;title=EC_Command_Line</id>
		<title>EC Command Line - Revision history</title>
		<link rel="self" type="application/atom+xml" href="https://dev.eiffel.com/index.php?action=history&amp;feed=atom&amp;title=EC_Command_Line"/>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;action=history"/>
		<updated>2026-05-07T08:21:18Z</updated>
		<subtitle>Revision history for this page on the wiki</subtitle>
		<generator>MediaWiki 1.24.1</generator>

	<entry>
		<id>https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;diff=9013&amp;oldid=prev</id>
		<title>Peter gummer: /* Rational */</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;diff=9013&amp;oldid=prev"/>
				<updated>2007-07-14T09:52:42Z</updated>
		
		<summary type="html">&lt;p&gt;‎&lt;span dir=&quot;auto&quot;&gt;&lt;span class=&quot;autocomment&quot;&gt;Rational&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 09:52, 14 July 2007&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 7:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 7:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;{{Note|This document is not to be considered to represent a future edition. What is written here is for a ''possible'' future change to the Eiffel compiler}}&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;{{Note|This document is not to be considered to represent a future edition. What is written here is for a ''possible'' future change to the Eiffel compiler}}&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;Rational &lt;/del&gt;==&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;Rationale &lt;/ins&gt;==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;The change has been &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;consider &lt;/del&gt;for some time now. The current user interface is partly undocumented and visible options are not greatly documented either. The usage information is complex due aspects of evolution and unreadable, as such mires new users adoption of attempting to getting started. The option names are somewhat incorrect in places and there are no shorthands for advanced users wanting to create terse execution statements. In addition, the command option parser is weak and erroneous in some cases and is very difficult to maintain.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;The change has been &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;considered &lt;/ins&gt;for some time now. The current user interface is partly undocumented and visible options are not greatly documented either. The usage information is complex due &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;to &lt;/ins&gt;aspects of evolution and unreadable, as such mires new users&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;' &lt;/ins&gt;adoption of attempting to getting started. The option names are somewhat incorrect in places and there are no shorthands for advanced users wanting to create terse execution statements. In addition, the command option parser is weak and erroneous in some cases and is very difficult to maintain.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Eiffel Software's [https://eiffelsoftware.origo.ethz.ch/svn/es/trunk/Src/framework/base/application/arg_parser/ argument parser library] is more than adequate at dealing with these shortcoming &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;is a &lt;/del&gt;elegant, easily maintainable and extensible manner. It builds usage information automatically, permits command statement groups, &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;support &lt;/del&gt;long and short name options, validates option values, &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;support &lt;/del&gt;''hidden'' developer options and is an &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;opened &lt;/del&gt;ended extensible framework. Compounded with the [https://eiffelsoftware.origo.ethz.ch/svn/es/trunk/Src/library/il8n il8n library] it also make for an internationalized version of the command line usage text.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Eiffel Software's [https://eiffelsoftware.origo.ethz.ch/svn/es/trunk/Src/framework/base/application/arg_parser/ argument parser library] is more than adequate at dealing with these shortcoming &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;in an &lt;/ins&gt;elegant, easily maintainable and extensible manner. It builds usage information automatically, permits command statement groups, &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;supports &lt;/ins&gt;long and short name options, validates option values, &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;supports &lt;/ins&gt;''hidden'' developer options and is an &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;open-&lt;/ins&gt;ended extensible framework. Compounded with the [https://eiffelsoftware.origo.ethz.ch/svn/es/trunk/Src/library/il8n il8n library] it also make for an internationalized version of the command line usage text.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Backwards Compatibility ==&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Backwards Compatibility ==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Peter gummer</name></author>	</entry>

	<entry>
		<id>https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;diff=8994&amp;oldid=prev</id>
		<title>Paulb: /* Options */</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;diff=8994&amp;oldid=prev"/>
				<updated>2007-07-11T18:12:46Z</updated>
		
		<summary type="html">&lt;p&gt;‎&lt;span dir=&quot;auto&quot;&gt;&lt;span class=&quot;autocomment&quot;&gt;Options&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 18:12, 11 July 2007&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 72:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 72:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -m --melt: Perform a compilation that melts.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -m --melt: Perform a compilation that melts.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -q --quick: Perform a quick compilation that melts.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -q --quick: Perform a quick compilation that melts.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* -z --freeze: Perform a compilation that freezes.&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* -f --finalize: Perform a quick compilation that finalizes.&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -e --ccompile: Perform a C compilation if required.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -e --ccompile: Perform a C compilation if required.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* -z --freeze: Perform a compilation that freezes, implies -e.&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;* -f --finalize: Perform a quick compilation that finalizes, implies -e.&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -k --keep: Keep assertions when finalizing (only valid with -f).&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -k --keep: Keep assertions when finalizing (only valid with -f).&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -h --halt: Emulation of ''batch''/''stop'' mode, halts on any prompt and ends execution.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -h --halt: Emulation of ''batch''/''stop'' mode, halts on any prompt and ends execution.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Paulb</name></author>	</entry>

	<entry>
		<id>https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;diff=8993&amp;oldid=prev</id>
		<title>Paulb: /* Backwards Compatibility */</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;diff=8993&amp;oldid=prev"/>
				<updated>2007-07-11T18:11:11Z</updated>
		
		<summary type="html">&lt;p&gt;‎&lt;span dir=&quot;auto&quot;&gt;&lt;span class=&quot;autocomment&quot;&gt;Backwards Compatibility&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 18:11, 11 July 2007&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 13:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 13:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Backwards Compatibility ==&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Backwards Compatibility ==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Backwards compatibility is a given, there is no way we can release a new command line interface without proving support for the myriad of scripts and &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;tool &lt;/del&gt;out there already using the existing command line interface. That is to say, all scripts should still function as before, without modification. However the old command line interface will be considered deprecated and undocumented, its existence merely permits backwards compatibility.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Backwards compatibility is a given, there is no way we can release a new command line interface without proving support for the myriad of scripts and &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;tools &lt;/ins&gt;out there already using the existing command line interface. That is to say, all scripts should still function as before, without modification. However the old command line interface will be considered deprecated and &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;go &lt;/ins&gt;undocumented &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;in the future&lt;/ins&gt;, its existence merely permits backwards compatibility.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;=== The Existing Command Line Help ===&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;=== The Existing Command Line Help ===&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Paulb</name></author>	</entry>

	<entry>
		<id>https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;diff=8992&amp;oldid=prev</id>
		<title>Paulb: Added categories</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;diff=8992&amp;oldid=prev"/>
				<updated>2007-07-11T18:10:10Z</updated>
		
		<summary type="html">&lt;p&gt;Added categories&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 18:10, 11 July 2007&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;[[Category:Compiler]]&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;[[Category:EiffelStudio]]&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Overview ==&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Overview ==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;This page is used to rationalize a new command line interface for the Eiffel compiler, due for ''possible'' inclusion in 6.1 or some time after. The command line will use the commonly used Eiffel [https://eiffelsoftware.origo.ethz.ch/svn/es/trunk/Src/framework/base/application/arg_parser/ argument parser framework library] so all usage options will be built/parsed automatically and respect platform differences.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;This page is used to rationalize a new command line interface for the Eiffel compiler, due for ''possible'' inclusion in 6.1 or some time after. The command line will use the commonly used Eiffel [https://eiffelsoftware.origo.ethz.ch/svn/es/trunk/Src/framework/base/application/arg_parser/ argument parser framework library] so all usage options will be built/parsed automatically and respect platform differences.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Paulb</name></author>	</entry>

	<entry>
		<id>https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;diff=8991&amp;oldid=prev</id>
		<title>Paulb: /* Usage Groups */</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;diff=8991&amp;oldid=prev"/>
				<updated>2007-07-11T18:03:56Z</updated>
		
		<summary type="html">&lt;p&gt;‎&lt;span dir=&quot;auto&quot;&gt;&lt;span class=&quot;autocomment&quot;&gt;Usage Groups&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 18:03, 11 July 2007&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 42:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 42:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;=== Usage Groups ===&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;=== Usage Groups ===&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Compilation:&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Compilation:&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#160; ec -c [&amp;lt;config file&amp;gt;] [-t &amp;lt;target&amp;gt;] [-o &amp;lt;path&amp;gt;] [-m|-q|-z|-f [-k]] [-l] [-&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;q&lt;/del&gt;] [-n &amp;lt;processors&amp;gt;]&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#160; ec -c [&amp;lt;config file&amp;gt;] [-t &amp;lt;target&amp;gt;] [-o &amp;lt;path&amp;gt;] [-m|-q|-z|-f [-k]] [-l] [-&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;h&lt;/ins&gt;] [-n &amp;lt;processors&amp;gt;]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#160;&amp;#160; &amp;#160; &amp;#160;  [-s &amp;lt;name=value&amp;gt;, [-s &amp;lt;name=value&amp;gt;, ...]]&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#160;&amp;#160; &amp;#160; &amp;#160;  [-s &amp;lt;name=value&amp;gt;, [-s &amp;lt;name=value&amp;gt;, ...]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#160; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#160; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#160; ec -c [&amp;lt;config file&amp;gt;] [-t &amp;lt;target&amp;gt;] -p [-o &amp;lt;path&amp;gt;] [-f [-k]] [-l] [-&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;q&lt;/del&gt;] [-n &amp;lt;processors&amp;gt;]&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#160; ec -c [&amp;lt;config file&amp;gt;] [-t &amp;lt;target&amp;gt;] -p [-o &amp;lt;path&amp;gt;] [-f [-k]] [-l] [-&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;h&lt;/ins&gt;] [-n &amp;lt;processors&amp;gt;]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#160;&amp;#160; &amp;#160; &amp;#160;  [-s &amp;lt;name=value&amp;gt;, [-s &amp;lt;name=value&amp;gt;, ...]]&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#160;&amp;#160; &amp;#160; &amp;#160;  [-s &amp;lt;name=value&amp;gt;, [-s &amp;lt;name=value&amp;gt;, ...]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#160; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#160; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Paulb</name></author>	</entry>

	<entry>
		<id>https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;diff=8990&amp;oldid=prev</id>
		<title>Paulb: /* Options */</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;diff=8990&amp;oldid=prev"/>
				<updated>2007-07-11T18:03:44Z</updated>
		
		<summary type="html">&lt;p&gt;‎&lt;span dir=&quot;auto&quot;&gt;&lt;span class=&quot;autocomment&quot;&gt;Options&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 18:03, 11 July 2007&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 73:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 73:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -e --ccompile: Perform a C compilation if required.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -e --ccompile: Perform a C compilation if required.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -k --keep: Keep assertions when finalizing (only valid with -f).&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -k --keep: Keep assertions when finalizing (only valid with -f).&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;q &lt;/del&gt;--&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;quiet&lt;/del&gt;: Emulation of ''batch''/''stop'' mode, &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;prevents &lt;/del&gt;any &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;prompts&lt;/del&gt;.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;h &lt;/ins&gt;--&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;halt&lt;/ins&gt;: Emulation of ''batch''/''stop'' mode, &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;halts on &lt;/ins&gt;any &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;prompt and ends execution&lt;/ins&gt;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -p --precompile: Performs a precompilation.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -p --precompile: Performs a precompilation.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -o --location: Alternative project compilation location.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* -o --location: Alternative project compilation location.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Paulb</name></author>	</entry>

	<entry>
		<id>https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;diff=8989&amp;oldid=prev</id>
		<title>Paulb: First Editon</title>
		<link rel="alternate" type="text/html" href="https://dev.eiffel.com/index.php?title=EC_Command_Line&amp;diff=8989&amp;oldid=prev"/>
				<updated>2007-07-11T18:02:12Z</updated>
		
		<summary type="html">&lt;p&gt;First Editon&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;== Overview ==&lt;br /&gt;
This page is used to rationalize a new command line interface for the Eiffel compiler, due for ''possible'' inclusion in 6.1 or some time after. The command line will use the commonly used Eiffel [https://eiffelsoftware.origo.ethz.ch/svn/es/trunk/Src/framework/base/application/arg_parser/ argument parser framework library] so all usage options will be built/parsed automatically and respect platform differences.&lt;br /&gt;
&lt;br /&gt;
{{Note|This document is not to be considered to represent a future edition. What is written here is for a ''possible'' future change to the Eiffel compiler}}&lt;br /&gt;
&lt;br /&gt;
== Rational ==&lt;br /&gt;
The change has been consider for some time now. The current user interface is partly undocumented and visible options are not greatly documented either. The usage information is complex due aspects of evolution and unreadable, as such mires new users adoption of attempting to getting started. The option names are somewhat incorrect in places and there are no shorthands for advanced users wanting to create terse execution statements. In addition, the command option parser is weak and erroneous in some cases and is very difficult to maintain.&lt;br /&gt;
&lt;br /&gt;
Eiffel Software's [https://eiffelsoftware.origo.ethz.ch/svn/es/trunk/Src/framework/base/application/arg_parser/ argument parser library] is more than adequate at dealing with these shortcoming is a elegant, easily maintainable and extensible manner. It builds usage information automatically, permits command statement groups, support long and short name options, validates option values, support ''hidden'' developer options and is an opened ended extensible framework. Compounded with the [https://eiffelsoftware.origo.ethz.ch/svn/es/trunk/Src/library/il8n il8n library] it also make for an internationalized version of the command line usage text.&lt;br /&gt;
&lt;br /&gt;
== Backwards Compatibility ==&lt;br /&gt;
Backwards compatibility is a given, there is no way we can release a new command line interface without proving support for the myriad of scripts and tool out there already using the existing command line interface. That is to say, all scripts should still function as before, without modification. However the old command line interface will be considered deprecated and undocumented, its existence merely permits backwards compatibility.&lt;br /&gt;
&lt;br /&gt;
=== The Existing Command Line Help ===&lt;br /&gt;
As a reference for backwards compatibility here is the command line usage information as of the 6.0 release of EiffelStudio:&lt;br /&gt;
&lt;br /&gt;
 Usage:&lt;br /&gt;
        ec.exe [-help | -version | -batch | -clean | -use_settings | -freeze |&lt;br /&gt;
        -finalize [-keep] | -precompile [-finalize [-keep]] | -c_compile |&lt;br /&gt;
        -loop | -debug | -quick_melt | -melt | -clients [-filter filtername] class |&lt;br /&gt;
        -suppliers [-filter filtername] class |&lt;br /&gt;
        -flatshort [-filter filtername] [-all | -all_and_parents | class] |&lt;br /&gt;
        -flat [-filter filtername] [-all | -all_and_parents | class] |&lt;br /&gt;
        -short [-filter filtername] [-all | -all_and_parents | class] |&lt;br /&gt;
        -filter filtername [-all | class] |&lt;br /&gt;
        -descendants [-filter filtername] class |&lt;br /&gt;
        -ancestors [-filter filtername] class |&lt;br /&gt;
        -aversions [-filter filtername] class feature |&lt;br /&gt;
        -dversions [-filter filtername] class feature |&lt;br /&gt;
        -implementers [-filter filtername] class feature |&lt;br /&gt;
        -callers [-filter filtername] [-show_all] [-assigners | -creators] class feature |&lt;br /&gt;
        -callees [-filter filtername] [-show_all] [-assignees | -creators] class feature |&lt;br /&gt;
        [-config config.ecf | -target target |&lt;br /&gt;
        (obsolete) -ace Ace | (obsolete) -project Project_file_name] |&lt;br /&gt;
        [class_file.e [-library library_name]] |&lt;br /&gt;
        -stop | -no_library |&lt;br /&gt;
        -project_path Project_directory_path | -file File]&lt;br /&gt;
&lt;br /&gt;
== New Command Line ==&lt;br /&gt;
It has been discussed that documentation generation is largely unused in the command line interface, as so no new command line options are being defined for documentation generation. Instead the command line will focus on compilation.&lt;br /&gt;
&lt;br /&gt;
=== Usage Groups ===&lt;br /&gt;
Compilation:&lt;br /&gt;
 ec -c [&amp;lt;config file&amp;gt;] [-t &amp;lt;target&amp;gt;] [-o &amp;lt;path&amp;gt;] [-m|-q|-z|-f [-k]] [-l] [-q] [-n &amp;lt;processors&amp;gt;]&lt;br /&gt;
       [-s &amp;lt;name=value&amp;gt;, [-s &amp;lt;name=value&amp;gt;, ...]]&lt;br /&gt;
 &lt;br /&gt;
 ec -c [&amp;lt;config file&amp;gt;] [-t &amp;lt;target&amp;gt;] -p [-o &amp;lt;path&amp;gt;] [-f [-k]] [-l] [-q] [-n &amp;lt;processors&amp;gt;]&lt;br /&gt;
       [-s &amp;lt;name=value&amp;gt;, [-s &amp;lt;name=value&amp;gt;, ...]]&lt;br /&gt;
 &lt;br /&gt;
 ec -w &amp;lt;class file&amp;gt; [-b &amp;lt;library&amp;gt;, [-b &amp;lt;library&amp;gt;, ...]] [-n &amp;lt;processors&amp;gt;]&lt;br /&gt;
&lt;br /&gt;
Interactive:&lt;br /&gt;
 ec -i -c [&amp;lt;config file&amp;gt;]&lt;br /&gt;
 ec -g&lt;br /&gt;
&lt;br /&gt;
Debug:&lt;br /&gt;
 ec -d&lt;br /&gt;
&lt;br /&gt;
Version:&lt;br /&gt;
 ec -v&lt;br /&gt;
&lt;br /&gt;
==== Informative Options ====&lt;br /&gt;
* -v --version: Version information.&lt;br /&gt;
* -h --help (-? on Windows): Display full usage information.&lt;br /&gt;
* -nologo: Suppress copyright information.&lt;br /&gt;
&lt;br /&gt;
==== Options ====&lt;br /&gt;
* -c --config: Specifies a configuration file.&lt;br /&gt;
* -m --melt: Perform a compilation that melts.&lt;br /&gt;
* -q --quick: Perform a quick compilation that melts.&lt;br /&gt;
* -z --freeze: Perform a compilation that freezes.&lt;br /&gt;
* -f --finalize: Perform a quick compilation that finalizes.&lt;br /&gt;
* -e --ccompile: Perform a C compilation if required.&lt;br /&gt;
* -k --keep: Keep assertions when finalizing (only valid with -f).&lt;br /&gt;
* -q --quiet: Emulation of ''batch''/''stop'' mode, prevents any prompts.&lt;br /&gt;
* -p --precompile: Performs a precompilation.&lt;br /&gt;
* -o --location: Alternative project compilation location.&lt;br /&gt;
* -w --class: Compile a single class&lt;br /&gt;
* -b --library: Specifies a library name or ECF library location.&lt;br /&gt;
&lt;br /&gt;
==== Advanced Options ====&lt;br /&gt;
* -l --clean: Clean (lose) all previous compilation information.&lt;br /&gt;
* -s --setting: Overrides a ECF configuration setting, for current compilation only.&lt;br /&gt;
* -i --interactive: Enter interactive mode&lt;br /&gt;
* -d --debug: Enter debug mode.&lt;br /&gt;
* -n --nproc: Maximum number of processors/cores to utilize.&lt;br /&gt;
&lt;br /&gt;
==== Hidden Options ====&lt;br /&gt;
* -g --gui: Show graphical environment.&lt;br /&gt;
&lt;br /&gt;
=== Final Notes ===&lt;br /&gt;
The descriptions for each switch are by no means final or are to be considered as those being used. They are merely terse reference points for now.&lt;br /&gt;
&lt;br /&gt;
The options will be case-sensitive to future proof against additional options requiring the use of the same short character but utilizing an alternative case.&lt;/div&gt;</summary>
		<author><name>Paulb</name></author>	</entry>

	</feed>