diff options
Diffstat (limited to 'server')
| -rw-r--r-- | server/pom.xml | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/server/pom.xml b/server/pom.xml index a29c9d7c2c..b8566f2b39 100644 --- a/server/pom.xml +++ b/server/pom.xml @@ -116,6 +116,49 @@ <build> <plugins> <plugin> + <groupId>org.apache.maven.plugins</groupId> + <artifactId>maven-dependency-plugin</artifactId> + <version>3.0.0</version> + <executions> + <execution> + <id>copy-font-icons</id> + <phase>generate-sources</phase> + <goals> + <goal>unpack-dependencies</goal> + </goals> + <!-- VaadinIcons.java file --> + <configuration> + <includeGroupIds>com.vaadin</includeGroupIds> + <includeArtifactIds>vaadin-icons</includeArtifactIds> + <excludeTransitive>true</excludeTransitive> + <includes>com/vaadin/icons/VaadinIcons.java</includes> + <overWrite>true</overWrite> + <outputDirectory>${project.build.directory}/vaadin-icons</outputDirectory> + </configuration> + </execution> + </executions> + </plugin> + <plugin> + <groupId>org.codehaus.mojo</groupId> + <artifactId>build-helper-maven-plugin</artifactId> + <version>3.0.0</version> + <executions> + <execution> + <id>add-source</id> + <phase>generate-sources</phase> + <goals> + <goal>add-source</goal> + </goals> + <configuration> + <sources> + <source>${project.build.directory}/vaadin-icons</source> + </sources> + </configuration> + </execution> + </executions> + </plugin> + <plugin> + <artifactId>maven-resources-plugin</artifactId> <executions> <!-- Copy .java files to package --> @@ -137,6 +180,10 @@ <directory>src/main/java</directory> <filtering>false</filtering> </resource> + <resource> + <directory>${project.build.directory}/vaadin-icons</directory> + <filtering>false</filtering> + </resource> </resources> </configuration> </execution> |