ise PreviousNext

Description

Invoke ISE's Eiffel Compiler.

Parameters

ecf
Description: Name of ECF file

Domain: Valid filename pointing to existing file

Default: empty string

target
Description: Name of ECF target

Domain: Existing target in ECF file

Default: empty string

system
Description: System

Domain: -

Default: empty string

finalize
Description: finalize

Domain: Boolean (true|false)

Default: false

finish_freezing
Description: finish_freezing

Domain: Boolean (true|false)

Default: false

executable
Description: Filename (optionally with a pathname) of ISE's Eiffel compiler executable.

Domain: Valid filename pointing to existing executable

Default: Version of 'ec' in the PATH

clean
Description: clean

Domain: valid system name

Default: empty string

exit_code_variable
Description: Name of variable holding the compiler process's return code after it's run

Domain: Intgeger (usually 0 for OK, and any other number for not OK)

Default: `Void' (no variable is set if attribute is not specified)

RNG Specification

  <define name="ise">
    <element name="ise">
      <ref name="dir_if_unless"/>
      <choice>
        <group>
          <attribute name="system"/>
          <optional>
            <attribute name="ecf"/>
          </optional>
          <optional>
            <attribute name="target"/>
          </optional>
          <optional>
            <attribute name="finalize"/>
          </optional>
          <optional>
            <attribute name="finish_freezing"/>
          </optional>
          <optional>
            <attribute name="executable"/>
          </optional>
        </group>
        <attribute name="clean"/>
      </choice>
      <optional>
        <attribute name="exit_code_variable"/>
      </optional>
    </element>
  </define>

		

Examples

  <ise ecf="compile_ise.ace" system="${system}" finalize="true" finish_freezing="true"/>

  <ise clean="${system}"/>

		

Copyright © 2002-2020, Sven Ehrke and others
mailto:ericb@gobosoft.com
http://www.gobosoft.com
Last Updated: 16 November 2020
HomeTocPreviousNext