Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.maint.java > #8552

Re: Packaging Java Pathfinder

Show all headers | View raw

[Multipart message — attachments visible in raw view] - view raw

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

Back to linux.debian.maint.java | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Packaging Java Pathfinder Marko Dimjašević <marko@dimjasevic.net> - 2015-10-23 06:10 +0200
  Re: Packaging Java Pathfinder Emmanuel Bourg <ebourg@apache.org> - 2015-10-23 10:10 +0200
    Re: Packaging Java Pathfinder Marko Dimjašević <marko@dimjasevic.net> - 2015-10-24 08:00 +0200
      Re: Packaging Java Pathfinder Emmanuel Bourg <ebourg@apache.org> - 2015-10-24 15:00 +0200
        Re: Packaging Java Pathfinder tony mancill <tmancill@debian.org> - 2015-10-25 19:00 +0100
  Re: Packaging Java Pathfinder Marko Dimjašević <marko@dimjasevic.net> - 2015-11-15 07:40 +0100
    Re: Packaging Java Pathfinder Emmanuel Bourg <ebourg@apache.org> - 2015-11-15 09:20 +0100
      Re: Packaging Java Pathfinder tony mancill <tmancill@debian.org> - 2015-11-15 17:50 +0100
        Re: Packaging Java Pathfinder Marko Dimjašević <marko@dimjasevic.net> - 2015-11-15 19:40 +0100
          Re: Packaging Java Pathfinder tony mancill <tmancill@debian.org> - 2015-11-16 02:10 +0100
            Re: Packaging Java Pathfinder Marko Dimjašević <marko@dimjasevic.net> - 2015-11-16 05:00 +0100

csiph-web