Path: csiph.com!goblin2!goblin.stu.neva.ru!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: Mon, 16 Nov 2015 05:00:01 +0100 Message-ID: References: X-Original-To: tony mancill X-Mailbox-Line: From debian-java-request@lists.debian.org Mon Nov 16 03:54:57 2015 Old-Return-Path: X-Amavis-Spam-Status: No, score=-10.687 tagged_above=-10000 required=5.3 tests=[BAYES_00=-2, CAPINIT=0.5, LDO_WHITELIST=-5, MURPHY_DRUGS_REL8=0.02, 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="=-rBDDCg1Hblyuwq4KlZba" X-Mailer: Evolution 3.12.9-1+b1 MIME-Version: 1.0 X-Mailing-List: archive/latest/18876 List-ID: List-URL: List-Archive: https://lists.debian.org/msgid-search/1447646066.24785.18.camel@dimjasevic.net Approved: robomod@news.nic.it Lines: 83 Organization: linux.* mail to news gateway Sender: robomod@news.nic.it X-Original-Cc: debian-java@lists.debian.org X-Original-Date: Sun, 15 Nov 2015 20:54:26 -0700 X-Original-Message-ID: <1447646066.24785.18.camel@dimjasevic.net> X-Original-References: <1445572423.29523.13.camel@dimjasevic.net> <1447569531.21022.19.camel@dimjasevic.net> <56483F3B.60301@apache.org> <5648B6D8.2030702@debian.org> <1447612754.21022.41.camel@dimjasevic.net> <56492A89.5080306@debian.org> Xref: csiph.com linux.debian.maint.java:8557 --=-rBDDCg1Hblyuwq4KlZba Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi all, On Sun, 2015-11-15 at 16:59 -0800, tony mancill wrote: > I agree that a patch would be the cleanest approach. Perhaps you could > get away with simply a wrapper script that sets some system properties? > (I haven't looked at JPF very closely yet.) Keep in mind I'm not a proper Java developer, so I might be missing quite a few things. Java Pathfinder as a JVM defines quite a few properties (e.g., a scheduling choice generator class), including some that are software verification-specific. By default, these are specified in jpf.properties in the code base root directory. The main JAR file is expecting this info to be in one of search paths in the increasing order of importance: 1) Java classpath (where it should be in a file jpf.properties), 2) ~/.jpf/site.properties, 3) jpf.properties in the current directory. I see how this is done in JPF and I can either put the /usr/share/java directory to the classpath and put jpf.properties to /usr/share/java/jpf.properties, or I can easily patch Java Pathfinder such that it searches for jpf.properties somewhere else, e.g. in /etc/jpf/. What do you suggest to do? My hunch is it shouldn't be /usr/share/java/jpf.properties as there are only JAR files in /usr/share/java. Also, it shouldn't be ~/.jpf/site.properties as that is user-specific. > You should also consider whether a JPF user might want to use both the > modules provided by Debian and search for modules configured in the > site.properties file. The question there will be the search order. Ok, I'll keep this in mind. For the time being I want to get it working for a single system-wide installation. > In general, anything you can do to ensure that the package works "out of > the box" without manual user configuration (but while still supporting > local configuration if desired) is the preferred approach. Thanks for explaining this! --=20 Regards, Marko http://dimjasevic.net/marko --=-rBDDCg1Hblyuwq4KlZba 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 iQIcBAABCAAGBQJWSVNyAAoJEGjtezy5N0tHhrAP/RDro7Jr0tlR72LEJQUpUs7X ZmPwm+BwU5RIQOpthAUYdNfv6mugQES+i7pEO00PPZ82piY7Um4kQgQ6bhKtxrJk luj3kPUhpYQziJjbpGdKPW5ag7g7U6jDbrddRE2O7BF2FrdhchH5CjtEoVCNBZeR J6jSiLFs0KO7vdxzX0jjBi4kL7e+QCetb24PaDvtoNiyJlBZx59249mNd/glqpK8 39UqsrJe/W8eVf0AikDUUEpDF3aRwgHOZjcV4s3SzlaK9nmT5ZS8eXEGSroDDEIp K+Chmy2LMdaudfGWIOd1YeKVlC/nzmARZD/GU8uR3ZCtjMDZsHvjg71ZnP7IuQpu pVoe5kaNlxbJa1A9BzB2hdhEodNa7cSckWiqoIly6EwLJkCbFT66gYcvagVnyO87 dUvQXpR+V9YTBadsGxBeltmJB1btCMSSverYlAM0avjY49mTZmhZRx+vwrMSdbU1 Nakx7YccZYB8Kq1yzFkbsNkCMODw2SR0LjVG6WVMShpxyboRRNc3530TeTWahPZk jTDZj64RHv66K4qH26Ky0GI9RxIKbwJwSE98u0OE0PDF/bkhgAZdj3/kZcnpRizL N4tW3ktJ+YarSSYfTovysPk7xNLOZ8/xUapodbe12xIQvHPguzlEF2pJru5Jvlqy VPxOjJK5eOqW0vDPS7SI =zAgE -----END PGP SIGNATURE----- --=-rBDDCg1Hblyuwq4KlZba--