diff --git a/build.properties.template b/build.properties.template index 9d19d11..03b2bd2 100644 --- a/build.properties.template +++ b/build.properties.template @@ -1,3 +1,5 @@ # This file is part of Kitodo.ContentServer +#java.source=1.7 +#java.target=1.7 tomcat.dir.lib=/usr/share/tomcat7/lib diff --git a/build.xml b/build.xml index dc944db..d244d45 100644 --- a/build.xml +++ b/build.xml @@ -8,6 +8,9 @@ + + + @@ -41,7 +44,24 @@ - + + + + + + + + + + + + + + + + + + Servlet API not found on classpath! @@ -67,6 +87,8 @@ compile sources