system.ecf 1.1 KB

1234567891011121314151617181920212223242526272829303132
  1. <?xml version="1.0" encoding="ISO-8859-1"?>
  2. <system
  3. xmlns="http://www.eiffel.com/developers/xml/configuration-1-20-0"
  4. xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
  5. xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-20-0
  6. http://www.eiffel.com/developers/xml/configuration-1-20-0.xsd"
  7. name="canvas_example"
  8. uuid="3C312C2A-398E-4A0E-B834-1663DF82259F">
  9. <target name="canvas_example">
  10. <root feature="make" class="CANVAS_EXAMPLE"/>
  11. <file_rule>
  12. <exclude>/\.git$</exclude>
  13. <exclude>/\.svn$</exclude>
  14. <exclude>/CVS$</exclude>
  15. <exclude>/EIFGENs$</exclude>
  16. </file_rule>
  17. <option warning="true">
  18. <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
  19. </option>
  20. <capability>
  21. <void_safety use="all"/>
  22. </capability>
  23. <library name="elks" location="${GOBO}/library/free_elks/library.ecf"/>
  24. <library name="eiffel-iup" location="${EIFFEL_IUP}/library.ecf"/>
  25. <cluster name="canvas_example" location=".\" recursive="true"/>
  26. </target>
  27. </system>