Hi again, On Thu, 2015-10-22 at 21:53 -0600, Marko Dimjašević wrote: > Hi all, > > Since earlier this year Java Pathfinder [1] (or JPF for short), an > implementation of JVM used for software verification, is free software > and available under the Apache 2.0 license. > > 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 resource penalty. > > [1] Java Pathfinder: http://babelfish.arc.nasa.gov/trac/jpf Ok, for now I'm giving up on GCJ'ing it as I don't know how to do even more basic things. 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. -- Regards, Marko http://dimjasevic.net/marko
Attachment:
signature.asc
Description: This is a digitally signed message part