Path: csiph.com!eternal-september.org!feeder.eternal-september.org!aioe.org!bofh.it!news.nic.it!robomod From: Marko =?UTF-8?Q?Dimja=C5=A1evi=C4=87?= Newsgroups: linux.debian.maint.java Subject: Packaging Java Pathfinder Date: Fri, 23 Oct 2015 06:10:01 +0200 Message-ID: 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: 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: archive/latest/18818 List-ID: List-URL: 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 --=-psVU15Rtm5siucLcfGfJ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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 --=20 Kind regards, Marko Dimja=C5=A1evi=C4=87 http://dimjasevic.net/marko --=-psVU15Rtm5siucLcfGfJ Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAABCAAGBQJWKa9HAAoJEGjtezy5N0tHT2cP/RYV7LU/reUHbjZOn2wQozDH 1RfZcxCX05ywR+EXz7TwK13qOZuwbH9+gSTd2rikMbbgHb9SjVolL5/KWzKtPnoN AKx/0xN+/ML4ZmXf52yyw+SndUsQciYcsnbX7wIT0BU1C9Tx7gZxgmYXNbNFTsGs nyvu+qK9Qk9VTyfCZiVfgpD+YANJOwi7ZGYpETVxE3HcfihcbSTbMum4Dt4XhTG6 w2MxvNFW7sPIEAo+P0HUIZEZN06iq1Tesnbda5JIDNOkRgqhwB8/FBdw4vslqtfk FXLKJ0WATtXSwOhWzLyK7+P3WhYPqOWB9hQu1K/MqfrARSpnqePo5DWE9j2Z/487 HqjOfxuJ66en9hy9+C5/Ye4rlMLhIp8e1GHIqFRhn3cn9CRp87exX/aFOgOqFg8T WZ6547SSeNFxGd+XFMU85kf9OT0g3CI07reNr2tRKQhlpfUo4xKAUnJaoJBNZ1Fh CDuzKjzDKROhHWsBb26GcfpPbw6gJk6KksEmXcUVR7IiXsaMOJqNuJCsjjmvlUNI QIWE54a91gAL/nBdYiotkEk6wJ3bSVOYz977Rkq6Gj8fZn2HBIzQPTfF9KaXAf1k HXIZV3sqo59PHqmsAZfXESSiVn9jxLBlMRDWxdCQcwlLA3WdJuG7pU90qe4YTxHG kZ39LMztmQQPOxNPVBEC =7byH -----END PGP SIGNATURE----- --=-psVU15Rtm5siucLcfGfJ--