eiffel-iup/examples/flat_controls/es-system.ecf

<?xml version="1.0" encoding="ISO-8859-1"?>
<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-16-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-16-0 http://www.eiffel.com/developers/xml/configuration-1-16-0.xsd" name="flat_controls" uuid="3C312C2A-398E-4A0E-B834-1663DF82259F">

  <target name="flat_controls">
    <root feature="make" class="FLAT_CONTROLS"/>
    <file_rule>
      <exclude>/\.git$</exclude>
      <exclude>/\.svn$</exclude>
      <exclude>/CVS$</exclude>
      <exclude>/EIFGENs$</exclude>
    </file_rule>
    <option warning="true">
      <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
    </option>

    <setting name="total_order_on_reals" value="true"/>
    
    <capability>
      <void_safety use="all"/>
    </capability>
    
    <library name="base" location="$ISE_LIBRARY/library/base/base-safe.ecf"/>
    <library name="eiffel-iup" location="${EIFFEL_IUP}/es-library.ecf"/>
    <cluster name="flat_controls" location=".\" recursive="true"/>
  </target>
</system>