es-system.ecf 1.1 KB

123456789101112131415161718192021222324252627
  1. <?xml version="1.0" encoding="ISO-8859-1"?>
  2. <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="example5" uuid="3C312C2A-398E-4A0E-B834-1663DF82259F">
  3. <target name="example5">
  4. <root feature="make" class="EXAMPLE5"/>
  5. <file_rule>
  6. <exclude>/\.git$</exclude>
  7. <exclude>/\.svn$</exclude>
  8. <exclude>/CVS$</exclude>
  9. <exclude>/EIFGENs$</exclude>
  10. </file_rule>
  11. <option warning="true">
  12. <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
  13. </option>
  14. <setting name="total_order_on_reals" value="true"/>
  15. <capability>
  16. <void_safety use="all"/>
  17. </capability>
  18. <library name="base" location="$ISE_LIBRARY/library/base/base-safe.ecf"/>
  19. <library name="eiffel-iup" location="${EIFFEL_IUP}/es-library.ecf"/>
  20. <cluster name="example5" location=".\" recursive="true"/>
  21. </target>
  22. </system>