-
Notifications
You must be signed in to change notification settings - Fork 25
/
pom.xml
62 lines (55 loc) · 1.71 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
<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>
<parent>
<groupId>org.overturetool</groupId>
<artifactId>root</artifactId>
<version>2.7.5-SNAPSHOT</version>
<relativePath>../pom.xml</relativePath>
</parent>
<artifactId>core</artifactId>
<packaging>pom</packaging>
<name>Core Tools</name>
<properties>
<astcreator.version>1.6.10</astcreator.version>
</properties>
<modules>
<module>ast</module>
<module>parser</module>
<module>typechecker</module>
<module>testing</module>
<module>interpreter</module>
<module>pog</module>
<module>testframework</module>
<module>combinatorialtesting</module>
<module>prettyprinting</module>
<module>commandline</module>
<module>codegen</module>
<module>isapog</module>
<module>annotations</module>
</modules>
<build>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId>
</plugin>
</plugins>
</build>
<profiles>
<profile>
<id>codesigning</id>
<build>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-jarsigner-plugin</artifactId>
<configuration>
<!-- we skip signing since it gives problems with testing because we have packages split over multiple jars -->
<skip>true</skip>
</configuration>
</plugin>
</plugins>
</build>
</profile>
</profiles>
</project>