Hi, I suppose this a maintainer decision (compile with java8 or 10) but the bug in #895866 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=895866 seems to indicate that tomcat8 implies java8 compatibility.
I would certainly preferred it that way. Vassilis Sorry for the duplication I failed to reply to 906...@bugs.debian.org On Mon, Aug 27, 2018 at 8:32 AM Per Lundberg <per.lundb...@hibox.tv> wrote: > On 8/26/18 12:46 AM, Markus Koschany wrote: > > > I believe we should tighten the dependency on default-jre-headless. We > > currently have for tomcat8-common: > > > > default-jre-headless | java8-runtime-headless | java8-runtime > > > > We should simply change that to > > > > default-jre-headless (>= 10) | java10-runtime-headless | java10-runtime > > Why can't we just compile it with OpenJDK 8? There are some of us who > are still stuck on Java 8 for various reasons (because of dependencies > of other projects), and I think it would be more convenient to let the > package be compiled for Java 8 for the time being. As long as Tomcat > doesn't actually use any Java 10 features, I don't really see the big > benefit of compiling it with OpenJDK 10 at this stage. > -- > Best regards, > Per > -- Vassilis Virvilis
__ This is the maintainer address of Debian's Java team <https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use debian-j...@lists.debian.org for discussions and questions.
