Skip to content

Commit de9f81c

Browse files
peterschrammelpeterschrammel
committed
Add initial code
1 parent 992dda3 commit de9f81c

File tree

5 files changed

+1072
-0
lines changed

5 files changed

+1072
-0
lines changed

‎pom.xml

Lines changed: 184 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,184 @@
1+
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
2+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
3+
<modelVersion>4.0.0</modelVersion>
4+
5+
<groupId>org.cprover.util</groupId>
6+
<artifactId>cprover-api</artifactId>
7+
<version>1.0-SNAPSHOT</version>
8+
<packaging>jar</packaging>
9+
<name>CProver-API</name>
10+
<description>CProver Java API</description>
11+
<url>https://github.com/diffblue/java-cprover-api</url>
12+
13+
<licenses>
14+
<license>
15+
<name>BSD-3-Clause-License</name>
16+
<url>https://opensource.org/licenses/BSD-3-Clause</url>
17+
<distribution>repo</distribution>
18+
</license>
19+
</licenses>
20+
21+
<developers>
22+
<developer>
23+
<name>Diffblue</name>
24+
<email>[email protected]</email>
25+
<organization>Diffblue</organization>
26+
<organizationUrl>http://www.diffblue.com</organizationUrl>
27+
</developer>
28+
</developers>
29+
30+
<!-- if using the maven-release plugin: -->
31+
<!-- http://central.sonatype.org/pages/apache-maven.html#performing-a-release-deployment-with-the-maven-release-plugin -->
32+
<!-- then the connection to source control system is required. -->
33+
<scm>
34+
<url>https://github.com/diffblue/java-cprover-api</url>
35+
<connection>scm:git:git://github.com/diffblue/java-cprover-api.git</connection>
36+
</scm>
37+
38+
<distributionManagement>
39+
<snapshotRepository>
40+
<id>ossrh</id><!-- nb this must be the same as the 'id' field in 'settings.xml' -->
41+
<url>https://oss.sonatype.org/content/repositories/snapshots</url>
42+
</snapshotRepository>
43+
</distributionManagement>
44+
45+
<properties>
46+
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
47+
</properties>
48+
49+
<!-- this profile gpg signs the artifacts -->
50+
<profiles>
51+
<profile>
52+
<id>sign</id>
53+
<activation>
54+
<activeByDefault>false</activeByDefault>
55+
</activation>
56+
<build>
57+
<plugins>
58+
<plugin>
59+
<groupId>org.apache.maven.plugins</groupId>
60+
<artifactId>maven-gpg-plugin</artifactId>
61+
<version>1.6</version> <!-- current stable -->
62+
<executions>
63+
<execution>
64+
<id>sign-artifacts</id>
65+
<phase>verify</phase>
66+
<goals>
67+
<goal>sign</goal>
68+
</goals>
69+
</execution>
70+
</executions>
71+
</plugin>
72+
</plugins>
73+
</build>
74+
</profile>
75+
<!-- this profile supplies the 'javadocs and buildsources' part of the maven central requirements -->
76+
<profile>
77+
<id>build-extras</id>
78+
<activation>
79+
<activeByDefault>false</activeByDefault>
80+
</activation>
81+
<!-- official http://central.sonatype.org/pages/apache-maven.html#performing-a-release-deployment-with-the-maven-release-plugin -->
82+
<build>
83+
<plugins>
84+
<plugin>
85+
<groupId>org.apache.maven.plugins</groupId>
86+
<artifactId>maven-source-plugin</artifactId>
87+
<version>3.0.1</version> <!-- current stable -->
88+
<executions>
89+
<execution>
90+
<id>attach-sources</id>
91+
<goals>
92+
<goal>jar-no-fork</goal>
93+
</goals>
94+
</execution>
95+
</executions>
96+
</plugin>
97+
<plugin>
98+
<groupId>org.apache.maven.plugins</groupId>
99+
<artifactId>maven-javadoc-plugin</artifactId>
100+
<version>3.0.01</version> <!--current stable -->
101+
<executions>
102+
<execution>
103+
<id>attach-javadocs</id>
104+
<goals>
105+
<goal>jar</goal>
106+
</goals>
107+
</execution>
108+
</executions>
109+
</plugin>
110+
</plugins>
111+
</build>
112+
</profile>
113+
<profile>
114+
<id>stdbuild</id>
115+
<activation>
116+
<activeByDefault>true</activeByDefault>
117+
</activation>
118+
<build>
119+
<finalName>cprover-api</finalName>
120+
<plugins>
121+
<plugin>
122+
<groupId>org.apache.maven.plugins</groupId>
123+
<artifactId>maven-checkstyle-plugin</artifactId>
124+
<version>2.17</version>
125+
<executions>
126+
<execution>
127+
<id>validate</id>
128+
<phase>validate</phase>
129+
<configuration>
130+
<configLocation>google_checks.xml</configLocation>
131+
<encoding>UTF-8</encoding>
132+
<consoleOutput>true</consoleOutput>
133+
<violationSeverity>warning</violationSeverity>
134+
<linkXRef>false</linkXRef>
135+
</configuration>
136+
<goals>
137+
<goal>check</goal>
138+
</goals>
139+
</execution>
140+
</executions>
141+
</plugin>
142+
<plugin>
143+
<groupId>org.apache.maven.plugins</groupId>
144+
<artifactId>maven-compiler-plugin</artifactId>
145+
<version>3.6.1</version>
146+
<configuration>
147+
<source>1.8</source>
148+
<target>1.8</target>
149+
</configuration>
150+
</plugin>
151+
<plugin>
152+
<groupId>org.apache.maven.plugins</groupId>
153+
<artifactId>maven-javadoc-plugin</artifactId>
154+
<version>3.0.0</version>
155+
<configuration>
156+
<show>private</show>
157+
<nohelp>true</nohelp>
158+
</configuration>
159+
</plugin>
160+
<plugin>
161+
<groupId>org.apache.maven.plugins</groupId>
162+
<artifactId>maven-surefire-plugin</artifactId>
163+
<version>2.22.1</version>
164+
</plugin>
165+
<plugin>
166+
<groupId>org.sonatype.plugins</groupId>
167+
<artifactId>nexus-staging-maven-plugin</artifactId>
168+
<version>1.6.8</version>
169+
<extensions>true</extensions>
170+
<configuration>
171+
<serverId>ossrh</serverId> <!-- nb this must be the same as the 'id' field in 'settings.xml' -->
172+
<nexusUrl>https://oss.sonatype.org/</nexusUrl>
173+
<!-- http://central.sonatype.org/pages/apache-maven.html#nexus-staging-maven-plugin-for-deployment-and-release -->
174+
<!-- With the property autoReleaseAfterClose set to false you can manually -->
175+
<!-- inspect the staging repository in the Nexus Repository Manager and trigger a -->
176+
<!-- release of the staging repository later with mvn nexus-staging:release -->
177+
<autoReleaseAfterClose>false</autoReleaseAfterClose>
178+
</configuration>
179+
</plugin>
180+
</plugins>
181+
</build>
182+
</profile>
183+
</profiles>
184+
</project>

0 commit comments

Comments
 (0)