|
| 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.models</groupId> |
| 6 | + <artifactId>models</artifactId> |
| 7 | + <version>1.0-SNAPSHOT</version> |
| 8 | + <packaging>jar</packaging> |
| 9 | + |
| 10 | + <properties> |
| 11 | + <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding> |
| 12 | + </properties> |
| 13 | + |
| 14 | + <name>CProver JDK Models</name> |
| 15 | + |
| 16 | + <!-- Tell javadoc plugin not to fail on warnings --> |
| 17 | + <profiles> |
| 18 | + <profile> |
| 19 | + <id>java8-doclint-disabled</id> |
| 20 | + <activation> |
| 21 | + <jdk>[1.8,)</jdk> |
| 22 | + </activation> |
| 23 | + <properties> |
| 24 | + <javadoc.opts>-Xdoclint:none</javadoc.opts> |
| 25 | + </properties> |
| 26 | + </profile> |
| 27 | + </profiles> |
| 28 | + |
| 29 | + <build> |
| 30 | + <finalName>core-models</finalName> |
| 31 | + <plugins> |
| 32 | + <plugin> |
| 33 | + <groupId>org.apache.maven.plugins</groupId> |
| 34 | + <artifactId>maven-compiler-plugin</artifactId> |
| 35 | + <version>3.6.1</version> |
| 36 | + <configuration> |
| 37 | + <compilerArguments> |
| 38 | + <classpath>${java.home}/lib/rt.jar</classpath> |
| 39 | + </compilerArguments> |
| 40 | + <source>1.8</source> |
| 41 | + <target>1.8</target> |
| 42 | + </configuration> |
| 43 | + </plugin> |
| 44 | + <plugin> |
| 45 | + <groupId>org.apache.maven.plugins</groupId> |
| 46 | + <artifactId>maven-javadoc-plugin</artifactId> |
| 47 | + <version>3.0.0-M1</version> |
| 48 | + <configuration> |
| 49 | + <outputDirectory>doc</outputDirectory> |
| 50 | + <quiet>true</quiet> |
| 51 | + <nosince>true</nosince> |
| 52 | + <sourcepath>src/main/java</sourcepath> |
| 53 | + <subpackages>java</subpackages> |
| 54 | + <overview>src/main/overview.html</overview> |
| 55 | + <windowtitle>Diffblue Library of Models</windowtitle> |
| 56 | + <doctitle>Diffblue Library of Models</doctitle> |
| 57 | + <tags> |
| 58 | + <tag> |
| 59 | + <name>diffblue.fullSupport</name> |
| 60 | + <placement>ptcm</placement> |
| 61 | + <head>DIFFBLUE: Full support</head> |
| 62 | + </tag> |
| 63 | + <tag> |
| 64 | + <name>diffblue.limitedSupport</name> |
| 65 | + <placement>ptcm</placement> |
| 66 | + <head>DIFFBLUE: Limited support</head> |
| 67 | + </tag> |
| 68 | + <tag> |
| 69 | + <name>diffblue.noSupport</name> |
| 70 | + <placement>ptcm</placement> |
| 71 | + <head>DIFFBLUE: No support</head> |
| 72 | + </tag> |
| 73 | + <tag> |
| 74 | + <name>diffblue.untested</name> |
| 75 | + <placement>ptcm</placement> |
| 76 | + <head>DIFFBLUE: Untested</head> |
| 77 | + </tag> |
| 78 | + <tag> |
| 79 | + <name>diffblue.todo</name> |
| 80 | + <placement>ptcm</placement> |
| 81 | + <head>DIFFBLUE: To do</head> |
| 82 | + </tag> |
| 83 | + </tags> |
| 84 | + <!--No fail on warning--> |
| 85 | + <additionalparam>${javadoc.opts}</additionalparam> |
| 86 | + </configuration> |
| 87 | + </plugin> |
| 88 | + </plugins> |
| 89 | + </build> |
| 90 | +</project> |
0 commit comments