-
Notifications
You must be signed in to change notification settings - Fork 1
/
pom.xml
163 lines (154 loc) · 6.72 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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
<?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/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
<groupId>de.tu-dresden.inf.lat.evee</groupId>
<artifactId>evee</artifactId>
<version>${revision}</version>
<packaging>pom</packaging>
<!--<modules>
<module>evee-small-model-generator</module>
</modules> -->
<properties>
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
<maven.compiler.source>1.8</maven.compiler.source>
<maven.compiler.target>1.8</maven.compiler.target>
<skipCompilation>false</skipCompilation>
<revision>0.4-SNAPSHOT</revision>
<LatScalaDlTools.Version>0.4.1-SNAPSHOT</LatScalaDlTools.Version>
<LETHE.Version>0.8-SNAPSHOT</LETHE.Version>
</properties>
<build>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-compiler-plugin</artifactId>
<version>3.10.1</version>
<configuration>
<skipMain>${skipCompilation}</skipMain>
<skip>${skipCompilation}</skip>
</configuration>
</plugin>
<plugin>
<groupId>org.codehaus.mojo</groupId>
<artifactId>flatten-maven-plugin</artifactId>
<version>1.1.0</version>
<configuration>
<updatePomFile>true</updatePomFile>
<flattenMode>resolveCiFriendliesOnly</flattenMode>
</configuration>
<executions>
<execution>
<id>flatten</id>
<phase>process-resources</phase>
<goals>
<goal>flatten</goal>
</goals>
</execution>
<execution>
<id>flatten.clean</id>
<phase>clean</phase>
<goals>
<goal>clean</goal>
</goals>
</execution>
</executions>
</plugin>
</plugins>
</build>
<profiles>
<profile>
<id>owlapi4</id>
<activation>
<activeByDefault>false</activeByDefault>
</activation>
<modules>
<module>lat-scala-dl-tools/lat-scala-dl-tools-owlapi4</module>
<module>LETHE-0.8</module>
<module>evee-data/evee-data-owlapi4</module>
<module>evee-elimination-proofs/evee-elimination-proofs-core-owlapi4</module>
<module>evee-elimination-proofs/evee-elimination-proofs-fame-owlapi4</module>
<module>evee-elimination-proofs/evee-elimination-proofs-lethe-owlapi4</module>
<module>evee-lethe-proof-extractor/evee-lethe-proof-extractor-owlapi4</module>
<module>evee-elk-proof-extractor/evee-elk-proof-extractor-owlapi4</module>
<module>evee-relevant-counterexample/model-datastructures-owlapi4</module>
<module>evee-relevant-counterexample/counterExampleProvider-owlapi4</module>
<module>evee-libs/evee-libs-owlapi4</module>
<module>evee-small-model-generator</module>
</modules>
</profile>
<profile>
<id>owlapi5</id>
<activation>
<activeByDefault>false</activeByDefault>
</activation>
<properties>
<!--
overwritten in owlapi5-modules to be always false,
thus effectively turning off compilation of owlapi4-modules only
-->
<skipCompilation>true</skipCompilation>
</properties>
<modules>
<module>lat-scala-dl-tools</module>
<module>LETHE-0.8</module>
<module>evee-data</module>
<module>evee-elimination-proofs</module>
<module>evee-lethe-proof-extractor</module>
<module>evee-elk-proof-extractor</module>
<module>evee-relevant-counterexample</module>
<module>evee-libs/evee-libs-owlapi5</module>
<!--TODO-->
<!--<module>evee-small-model-generator-owlapi5</module>-->
</modules>
</profile>
<profile>
<id>protege</id>
<activation>
<activeByDefault>false</activeByDefault>
</activation>
<modules>
<module>lat-scala-dl-tools/lat-scala-dl-tools-owlapi4</module>
<module>LETHE-0.8</module>
<module>evee-data/evee-data-owlapi4</module>
<module>evee-elimination-proofs/evee-elimination-proofs-core-owlapi4</module>
<module>evee-elimination-proofs/evee-elimination-proofs-fame-owlapi4</module>
<module>evee-elimination-proofs/evee-elimination-proofs-lethe-owlapi4</module>
<module>evee-lethe-proof-extractor/evee-lethe-proof-extractor-owlapi4</module>
<module>evee-elk-proof-extractor/evee-elk-proof-extractor-owlapi4</module>
<module>evee-relevant-counterexample/model-datastructures-owlapi4</module>
<module>evee-relevant-counterexample/counterExampleProvider-owlapi4</module>
<module>evee-small-model-generator/evee-small-model-generator-owlapi4</module>
<module>evee-protege</module>
</modules>
</profile>
<profile>
<id>pluginDev</id>
<activation>
<activeByDefault>false</activeByDefault>
</activation>
<modules>
<module>evee-protege</module>
</modules>
</profile>
<profile>
<id>complete</id>
<activation>
<activeByDefault>true</activeByDefault>
</activation>
<modules>
<module>lat-scala-dl-tools</module>
<module>LETHE-0.8</module>
<module>evee-data</module>
<module>evee-elimination-proofs</module>
<module>evee-lethe-proof-extractor</module>
<module>evee-elk-proof-extractor</module>
<module>evee-relevant-counterexample</module>
<module>evee-small-model-generator</module>
<module>evee-protege</module>
<module>evee-libs</module>
</modules>
</profile>
</profiles>
</project>