-
Notifications
You must be signed in to change notification settings - Fork 1
/
pom.xml
82 lines (70 loc) · 3.01 KB
/
pom.xml
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
<?xml version="1.0" encoding="UTF-8"?>
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
<modelVersion>4.0.0</modelVersion>
<!-- #################################################### -->
<!-- This is the Event-B Maven-Tycho build aggregator POM -->
<!-- It acts as a global aggregator to avoid the creation -->
<!-- of intermediary aggregator POM files -->
<!-- #################################################### -->
<groupId>org.eventb</groupId>
<artifactId>root</artifactId>
<version>3.0.0-SNAPSHOT</version>
<packaging>pom</packaging>
<modules>
<!-- #################################################### -->
<!-- RODIN PRODUCT BUILD -->
<!-- #################################################### -->
<module>org.eventb.parent</module>
<module>org.rodinp.core</module>
<module>org.rodinp.core.emf</module>
<module>org.rodinp.keyboard.core</module>
<module>org.rodinp.keyboard.ui</module>
<module>org.rodinp</module>
<module>org.rodinp-feature</module>
<module>org.eventb.core.ast</module>
<module>org.eventb.core.seqprover</module>
<module>org.eventb.core</module>
<module>org.eventb.pp</module>
<module>org.eventb.pp.ui</module>
<module>org.eventb.pptrans</module>
<module>org.eventb.keyboard</module>
<module>ch.ethz.eventb.keyboard.latex</module>
<module>fr.systerel.explorer</module>
<module>org.eventb.doc.user</module>
<module>org.eventb.ui</module>
<module>org.eventb.ui.symboltable</module>
<module>org.eventb.ide</module>
<module>org.eventb.ide-feature</module>
<module>fr.systerel.editor</module>
<module>fr.systerel.editor.help</module>
<module>fr.systerel.editor-feature</module>
<module>org.rodinp.platform</module>
<module>org.rodinp.platform-feature</module>
<module>org.rodinp.platform.repository</module>
<!-- #################################################### -->
<!-- TEST PLUG-INS -->
<!-- #################################################### -->
<!-- Core tests -->
<module>org.rodinp.core.tests</module>
<module>org.rodinp.core.emf.tests</module>
<module>org.eventb.core.tests</module>
<module>org.eventb.core.ast.tests</module>
<module>org.eventb.core.seqprover.tests</module>
<module>org.eventb.pp.tests</module>
<module>org.eventb.pptrans.tests</module>
<!-- UI tests -->
<module>fr.systerel.editor.tests</module>
<module>fr.systerel.explorer.tests</module>
<module>org.rodinp.keyboard.core.tests</module>
<module>org.rodinp.keyboard.ui.tests</module>
<module>org.eventb.keyboard.tests</module>
<module>org.eventb.ui.symboltable.tests</module>
<module>org.eventb.ui.tests</module>
<!-- #################################################### -->
<!-- TARGET PLATFORM FOR OTHER PLUG-IN DEVELOPMENT -->
<!-- #################################################### -->
<module>org.rodinp.platform.tests-feature</module>
<module>org.rodinp.dev</module>
</modules>
</project>