123456789101112131415161718192021222324252627 |
- <?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="example5" uuid="3C312C2A-398E-4A0E-B834-1663DF82259F">
- <target name="example5">
- <root feature="make" class="EXAMPLE5"/>
- <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="example5" location=".\" recursive="true"/>
- </target>
- </system>
|