On Sat, 02 Jun 2018 09:59:55 -0700, tony mancill wrote: > > Looking at the recent evolution of debian/control, I note that > > there's no default-jre or openjdk-* in Depends any more. > > > > The recent changes were: > > "default-jre (>= 2:1.8) | java8-runtime" → "openjdk-8-jre" → "" > > > > I guess, adding something like > > "default-jre (>= 2:1.9) | java9-runtime" > > should help (java9-runtime is provided by default-jre (2:1.10-65), > > default-jre (2:1.10-66), openjdk-10-jre (10.0.1+10-4), openjdk-11-jre > > (11~13-2), openjdk-11-jre (11~15-1), openjdk-9-jre (9.0.4+12-4)). > > > > Tony, what do you think? > I'm not sure about requiring java9-runtime given that our users > obviously run JREs other than the default in the current distribution.
Good point. (Although technicall any java runtime is required I guess.) > What I think we should do is try to detect if the jabref-wrapper is > being invoked with java8 and clear the options required for the java9 > workaround. > If that sounds acceptable, I'll work on that. (I should have done > something like that in the first place.) Thanks, that was indeed my other idea :) Cheers, gregor -- .''`. https://info.comodo.priv.at -- Debian Developer https://www.debian.org : :' : OpenPGP fingerprint D1E1 316E 93A7 60A8 104D 85FA BB3A 6801 8649 AA06 `. `' Member VIBE!AT & SPI Inc. -- Supporter Free Software Foundation Europe `- NP: Eric Clapton: Lay Down Sally
signature.asc
Description: Digital Signature
