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

Re: 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	Re: Packaging Java Pathfinder
Date	Sun, 15 Nov 2015 07:40:02 +0100
Message-ID	<quZ8K-6fT-3@gated-at.bofh.it> (permalink)
References	<qmBPX-6Vq-1@gated-at.bofh.it>
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	<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
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	<debian-java@lists.debian.org> archive/latest/18871
List-ID	<debian-java.lists.debian.org>
List-URL	<https://lists.debian.org/debian-java/>
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

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