Le 15/11/2015 07:38, Marko Dimjašević a écrit :
> Can someone point me to a package that depends on Java 8? JPF needs
> Java 8 to build and I can't figure out how to specify that given that
> 'default-java' points to Java 8. So I'd like to learn from an example.
Hi Marko,
You can get a look at t
On 11/15/2015 12:15 AM, Emmanuel Bourg wrote:
> Le 15/11/2015 07:38, Marko Dimjašević a écrit :
>
>> Can someone point me to a package that depends on Java 8? JPF needs
>> Java 8 to build and I can't figure out how to specify that given that
>> 'default-java' points to Java 8. So I'd like to learn
On Sun, 2015-11-15 at 08:46 -0800, tony mancill wrote:
> When using this recipe, you should also declare a build-dependency on
> either "openjdk-8-jdk" or "default-jdk (>= 2:1.8)". The first is (just
> a tad) more explicit and aligns with the setting of JAVA_HOME.
Thank you for this!
I have ano
On 11/15/2015 10:39 AM, Marko Dimjašević wrote:
> On Sun, 2015-11-15 at 08:46 -0800, tony mancill wrote:
>
>> When using this recipe, you should also declare a build-dependency on
>> either "openjdk-8-jdk" or "default-jdk (>= 2:1.8)". The first is (just
>> a tad) more explicit and aligns with the
Hi all,
On Sun, 2015-11-15 at 16:59 -0800, tony mancill wrote:
> I agree that a patch would be the cleanest approach. Perhaps you could
> get away with simply a wrapper script that sets some system properties?
> (I haven't looked at JPF very closely yet.)
Keep in mind I'm not a proper Java dev
5 matches
Mail list logo
