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

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

Packaging Java Pathfinder

Show all headers | View raw

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

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


-- 
Kind regards,
Marko Dimjašević
http://dimjasevic.net/marko

Back to linux.debian.maint.java | Previous | Next — 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