Re: Packaging Java Pathfinder

2015-10-23 Thread Marko Dimjašević
On Fri, 2015-10-23 at 10:03 +0200, Emmanuel Bourg wrote: > Is the performance that critical for a verification tool? The Hotspot > JIT is rather good nowadays, are you sure using GCJ will significantly > improve the performances? This looks a bit like premature optimization > to me, but feel free

Re: plans for eclipse luna in debian

2015-10-23 Thread Luca Vercelli
I suppose the initial Tycho repository should be something like the attached one. I downloaded upstream source from http://git.eclipse.org/c/tycho/org.eclipse.tycho.git/snapshot/org.eclipse.tycho-tycho-0.23.0.tar.xz Il 20/10/2015 19:06, Markus Koschany ha scritto: > Am 20.10.2015 um 12:58 schrieb

Re: Packaging Java Pathfinder

2015-10-23 Thread Emmanuel Bourg
Le 23/10/2015 05:53, Marko Dimjašević a écrit : > I would like to package JPF and I have a basic question. Given that JPF > is a JVM implemented in Java, would it be OK to package JPF such that it > is compiled with GCJ? Otherwise running a Java program in a JVM > implemented in a JVM is a huge re

Java and running minecraft

2015-10-23 Thread The creeper killer
To Debian-java, Please could you tell me how to run it? Yours sincerely, Creeper kill