<?xml version="1.0" encoding="ISO-8859-1"?>
<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-22-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-22-0 http://www.eiffel.com/developers/xml/configuration-1-22-0.xsd" name="eiffel2boogie" uuid="CBD7B157-995D-4849-B0D5-D14E5CB5E3C2" readonly="false" library_target="eiffel2boogie">
	<note>
		<eis src="http://www.gnu.org/licenses/gpl.html" tag="license" protocol="" name="GPL"/>
	</note>
	<description>
		A translator from Eiffel intermediate code to Boogie intermediate language and
		a tool to invoke Boogie and interpret its output in terms of the source Eiffel program.

		Copyright (c) 2010-2015 ETH Zurich
		Copyright (c) 2018-2019 Politecnico di Milano
		Copyright (c) 2021-2022 Schaffhausen Institute of Technology

		GNU General Public License (see https://www.gnu.org/licenses/)
	</description>
	<target name="eiffel2boogie">
		<root class="E2B_AUTOPROOF" feature="make"/>
		<file_rule>
			<exclude>/.svn$</exclude>
			<exclude>EIFGENs</exclude>
		</file_rule>
		<option warning="error">
		</option>
		<capability>
			<concurrency support="none"/>
			<void_safety support="none"/>
		</capability>
		<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
		<library name="base_process" location="$ISE_LIBRARY\library\process\base\base_process.ecf"/>
		<library name="compiler" location="$EIFFEL_SRC\Eiffel\Ace\ec_kernel.ecf"/>
		<library name="configuration" location="$EIFFEL_SRC\framework\configuration\configuration_parser.ecf"/>
		<library name="ecosystem" location="$EIFFEL_SRC\Eiffel\ecosystem\ecosystem.ecf"/>
		<library name="environment" location="$EIFFEL_SRC\framework\environment\environment.ecf"/>
		<library name="eve_blackboard" location="..\eve_blackboard\eve_blackboard.ecf"/>
		<library name="gobo_regexp" location="$ISE_LIBRARY\library\gobo\gobo_regexp.ecf"/>
		<library name="gobo_time" location="$ISE_LIBRARY\library\gobo\gobo_time.ecf"/>
		<library name="interface_names" location="$EIFFEL_SRC\framework\interface_names\interface_names.ecf"/>
		<library name="net" location="$ISE_LIBRARY\library\net\net.ecf"/>
		<library name="parser" location="$ISE_LIBRARY\framework\parser\parser.ecf"/>
		<library name="patterns" location="$ISE_LIBRARY\library\patterns\patterns.ecf"/>
		<library name="time" location="$EIFFEL_SRC\library\time\time.ecf"/>
		<cluster name="eiffel2boogie" location=".\" recursive="true">
			<file_rule>
				<exclude>/tests$</exclude>
				<exclude>remote</exclude>
			</file_rule>
		</cluster>
	</target>
</system>