Add necessary resources to pom.xml

diff --git a/buildtools/pom.xml b/pom.xml
similarity index 94%
rename from buildtools/pom.xml
rename to pom.xml
index 82b29ac8a8969475038b95377cacefb182b26d52..f3a608c7f0e6717aa12f921a793b179a0d02eb8c 100644 (file)
--- a/buildtools/pom.xml
+++ b/pom.xml
@@ -57,6 +57,7 @@
                                        <include>tim/prune/gui/images/*</include>
                                        <include>tim/prune/lang/*</include>
                                        <include>tim/prune/function/srtm/srtmtiles.dat</include>
+                                       <include>tim/prune/function/srtm/viewfinder/tiles.dat</include>
                                        <include>tim/prune/*.txt</include>
                                </includes>
                        </resource>
@@ -78,6 +79,11 @@
                                <plugin>
                                        <artifactId>maven-compiler-plugin</artifactId>
                                        <version>3.8.0</version>
+                                               <configuration>
+          <compilerArgs>
+            <arg>-Xlint:deprecation</arg>
+          </compilerArgs>
+        </configuration>
                                </plugin>
                                <plugin>
                                        <artifactId>maven-jar-plugin</artifactId>