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

Packaging Java Pathfinder

Path	csiph.com!eternal-september.org!feeder.eternal-september.org!aioe.org!bofh.it!news.nic.it!robomod
From	Marko Dimjašević <marko@dimjasevic.net>
Newsgroups	linux.debian.maint.java
Subject	Packaging Java Pathfinder
Date	Fri, 23 Oct 2015 06:10:01 +0200
Message-ID	<qmBPX-6Vq-1@gated-at.bofh.it> (permalink)
X-Original-To	debian-java@lists.debian.org
X-Mailbox-Line	From debian-java-request@lists.debian.org Fri Oct 23 04:02:42 2015
Old-Return-Path	<marko@dimjasevic.net>
X-Amavis-Spam-Status	No, score=-10.707 tagged_above=-10000 required=5.3 tests=[BAYES_00=-2, CAPINIT=0.5, LDO_WHITELIST=-5, PGPSIGNATURE=-5, RDNS_NONE=0.793] autolearn=ham autolearn_force=no
X-Policyd-Weight	using cached result; rate: -6.1
X-Greylist	delayed 517 seconds by postgrey-1.35 at bendel; Fri, 23 Oct 2015 04:02:28 UTC
Content-Type	multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="=-psVU15Rtm5siucLcfGfJ"
X-Mailer	Evolution 3.12.9-1+b1
MIME-Version	1.0
X-Mailing-List	<debian-java@lists.debian.org> archive/latest/18818
List-ID	<debian-java.lists.debian.org>
List-URL	<https://lists.debian.org/debian-java/>
List-Archive	https://lists.debian.org/msgid-search/1445572423.29523.13.camel@dimjasevic.net
Approved	robomod@news.nic.it
Lines	49
Organization	linux.* mail to news gateway
Sender	robomod@news.nic.it
X-Original-Date	Thu, 22 Oct 2015 21:53:43 -0600
X-Original-Message-ID	<1445572423.29523.13.camel@dimjasevic.net>
Xref	csiph.com linux.debian.maint.java:8502

Show key headers only | 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 | Unroll thread

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