Bug 131137 – dev-java/javacc-4.0 environment JAVACC_HOME/JAVA_HOME issue

• Status: RESOLVED FIXED
• Product: Gentoo Linux

[Description Martin Gramatke 2006-04-24 13:05:18 UTC]

Please note the first line in java-config -L output. It seems that javacc does no longer set JAVA_HOME but JAVACC_HOME.


# java-config -L

Cannot find JAVA_HOME in config file /etc/env.d/java/22javacc
[sun-jdk-1.4.2.10] "Sun JDK 1.4.2.10" (/etc/env.d/java/20sun-jdk-1.4.2.10) *
[blackdown-jre-1.4.2.03] "Blackdown JRE 1.4.2.03" (/etc/env.d/java/20blackdown-jre-1.4.2.03)
[blackdown-jdk-1.4.2.03] "Blackdown JDK 1.4.2.03" (/etc/env.d/java/20blackdown-jdk-1.4.2.03)


# cat /etc/env.d/java/22javacc

# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/dev-java/javacc/files/javacc-4.0,v 1.1 2006/01/22 05:08:34 nichoj Exp $

VERSION="JavaCC 4.0"
JAVACC_HOME=/usr/share/javacc
ENV_VARS="JAVACC_HOME"


# emerge -pv javacc

These are the packages that would be merged, in order:

Calculating dependencies... done!
[ebuild   R   ] dev-java/javacc-4.0  USE="doc -examples -jikes -source" 0 kB

Total size of downloads: 0 kB

[Comment 1 Christian Lemke 2006-07-02 10:33:14 UTC]

Anything new here?

[Comment 2 Krzysztof Pawlik (RETIRED) 2006-07-02 10:39:25 UTC]

Check javacc in this overlay: https://svn.gentooexperimental.org/svn/java/migration-packages

[Comment 3 Christian Lemke 2006-07-03 01:42:57 UTC]

Thank you. That seems to work fine.

[Comment 4 Josh Nichols (RETIRED) 2006-07-03 07:30:31 UTC]

Fixed in the main tree now. Thanks for reporting.