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: Re: Packaging Java Pathfinder Date: Sun, 15 Nov 2015 07:40:02 +0100 Message-ID: References: X-Original-To: debian-java@lists.debian.org X-Mailbox-Line: From debian-java-request@lists.debian.org Sun Nov 15 06:39:12 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 Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="=-AaVImVpH+HlxfnGUaZps" X-Mailer: Evolution 3.12.9-1+b1 MIME-Version: 1.0 X-Mailing-List: archive/latest/18871 List-ID: List-URL: List-Archive: https://lists.debian.org/msgid-search/1447569531.21022.19.camel@dimjasevic.net Approved: robomod@news.nic.it Lines: 59 Organization: linux.* mail to news gateway Sender: robomod@news.nic.it X-Original-Date: Sat, 14 Nov 2015 23:38:51 -0700 X-Original-Message-ID: <1447569531.21022.19.camel@dimjasevic.net> X-Original-References: <1445572423.29523.13.camel@dimjasevic.net> Xref: csiph.com linux.debian.maint.java:8552 --=-AaVImVpH+HlxfnGUaZps Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi again, On Thu, 2015-10-22 at 21:53 -0600, Marko Dimja=C5=A1evi=C4=87 wrote: > Hi all, >=20 > 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. >=20 > 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. >=20 > [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. --=20 Regards, Marko http://dimjasevic.net/marko --=-AaVImVpH+HlxfnGUaZps 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 iQIcBAABCAAGBQJWSCh7AAoJEGjtezy5N0tHIjAP/1jDOfVjTkFe48dn8xmoXgPJ tKMgP99c2Ks0antsL6yVXWTEMks2+9+DSdlMrXtWdEwjnRQOdDUXhbeGrQiughET 9zSLfaHRNkaUd+74DX8Cxd/YCaebUK0La0UKcWcAR99HX7rNGIXyLuK7pUJPQTcD iuixHi+iMAMgsjvqMUknnD9EaoHwmNyrqt4f8+3NtlHm83QQ2DD6NLHqS1yCnNvc CZq/L3+qzuPpCmnFeLUXvqEOue5WmD6NtyOrf+caaRRV0rqwfp3brx3MNY6jfdlr 6qQdu+IthJru/feIG53JLIyrlQI12BE/bhJbv79ZyKeXTbMvs0+xAzOnlXxltow9 p9OwFKuNy2caikB/d+OGVJ7DIwcFY4y3v1e+OFNfMVnCyFImemLdtZbZnfiZ0w4G pgjszs/dDaXhMhr6crnjAoPvqWVfzcaJL5Op6aqC9kv1Ji5mPdGEHMCeSJUJV5NX 6zuwVObNJUKQLMGs+kRuyOnCZO5D64eP2nU0KfnZXeb+bRMK5yG9LSpTqyt2EbbO Kj3+ckBTrjZ1DK9zZrtKX0RFRnqAltv/cjvcDCCTBahB04rCHQbB2c2WCETycVjO eJU0ax/ziNq9Kd4DgLk2TGNHMt7E5UdtcLu90YsipUBl1ekG9LzoRofSKf0/jVRW c+oXV7by69Axh14fQmhn =mORe -----END PGP SIGNATURE----- --=-AaVImVpH+HlxfnGUaZps--