-
Notifications
You must be signed in to change notification settings - Fork 2
/
crowdsourcing.ecf
48 lines (48 loc) · 3.4 KB
/
crowdsourcing.ecf
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
<?xml version="1.0" encoding="ISO-8859-1"?>
<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-11-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-11-0 http://www.eiffel.com/developers/xml/configuration-1-11-0.xsd" name="crowdsourcing" uuid="C28C4F53-9963-46C0-A080-8F13E94E7486" library_target="crowdsourcing">
<target name="common" abstract="true">
<file_rule>
<exclude>/.git$</exclude>
<exclude>/EIFGENs$</exclude>
<exclude>/CVS$</exclude>
</file_rule>
<option warning="true" full_class_checking="false" is_attached_by_default="true" void_safety="transitional" syntax="transitional">
<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
</option>
<library name="base" location="$ISE_LIBRARY\library\base\base-safe.ecf"/>
<library name="http" location="$ISE_LIBRARY\contrib\library\ewf-dev\library\network\protocol\http\http-safe.ecf"/>
<library name="http_client" location="$ISE_LIBRARY\contrib\library\network\http_client\http_client-safe.ecf"/>
<library name="sqlite3" location="$ISE_LIBRARY\contrib\library\sqlite3-dev\sqlite-safe.ecf"/>
<library name="time" location="$ISE_LIBRARY\library\time\time-safe.ecf"/>
<library name="wsf" location="$ISE_LIBRARY\contrib\library\ewf-dev\library\server\wsf\wsf-safe.ecf"/>
<library name="wsf_js_widget" location="$ISE_LIBRARY\contrib\library\ewf-dev\draft\library\wsf_js_widget\wsf_js_widget-safe.ecf" readonly="false"/>
</target>
<target name="crowdsourcing_nino" extends="common">
<root class="APPLICATION" feature="make_and_launch"/>
<option warning="true" is_attached_by_default="true" void_safety="transitional" syntax="transitional">
<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
</option>
<library name="default_nino" location="$ISE_LIBRARY\contrib\library\ewf-dev\library\server\wsf\default\nino-safe.ecf"/>
<library name="json" location="$ISE_LIBRARY\contrib\library\ewf-dev\contrib\library\text\parser\json\library\json-safe.ecf"/>
<cluster name="crowdsourcing" location=".\src\" recursive="true">
</cluster>
</target>
<target name="crowdsourcing_cgi" extends="common">
<root class="APPLICATION" feature="make_and_launch"/>
<option warning="true" is_attached_by_default="true" void_safety="transitional" syntax="transitional">
<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
</option>
<library name="default_cgi" location="$ISE_LIBRARY\contrib\library\ewf-dev\library\server\wsf\default\cgi-safe.ecf"/>
<cluster name="crowdsourcing" location=".\src\" recursive="true"/>
</target>
<target name="crowdsourcing_libfcgi" extends="common">
<root class="APPLICATION" feature="make_and_launch"/>
<option warning="true" is_attached_by_default="true" void_safety="transitional" syntax="transitional">
<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
</option>
<library name="default_libfcgi" location="$ISE_LIBRARY\contrib\library\ewf-dev\library\server\wsf\default\libfcgi-safe.ecf"/>
<cluster name="crowdsourcing" location=".\src\" recursive="true"/>
</target>
<target name="crowdsourcing" extends="crowdsourcing_nino">
</target>
</system>