eiffel-iup/examples/example7/system.ecf

<?xml version="1.0" encoding="ISO-8859-1"?>
<system
    xmlns="http://www.eiffel.com/developers/xml/configuration-1-20-0"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-20-0
			http://www.eiffel.com/developers/xml/configuration-1-20-0.xsd"
    name="example7"
    uuid="3C312C2A-398E-4A0E-B834-1663DF82259F">
	
  <target name="example7">
    <root feature="make" class="EXAMPLE7"/>
    <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>

    <capability>
      <void_safety use="all"/>
    </capability>
    
    <library name="elks" location="${GOBO}/library/free_elks/library.ecf"/>
    <library name="eiffel-iup" location="${EIFFEL_IUP}/library.ecf"/>
    <cluster name="example7" location=".\" recursive="true"/>
  </target>
</system>