GNU bug report logs -
#8434
java: cannot use JAVA with both dist_ and nodist_ prefixes
Previous Next
Full log
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
Hello autoconfers.
Currently, limitations in the Automake support for java enforce the
restriction that only one `_JAVA' primary can be used in a given
Makefile.am.
Unfortunately, this (quite acceptable) limitation has the side effect
that one cannot have both distributed and not distributed *.java files
in a the same Makefile.am:
$ cat Makefile.am
dist_java_JAVA = a.java
nodist_java_JAVA = b.java
$ automake -a
/usr/share/automake-1.11/am/java.am: JAVAC multiply defined in condition TRUE ...
Makefile.am:2: while processing `nodist_java_JAVA'
/usr/share/automake-1.11/am/java.am: ... `JAVAC' previously defined here
Makefile.am:1: while processing `dist_java_JAVA'
/usr/share/automake-1.11/am/java.am: CLASSPATH_ENV multiply defined in condition TRUE ...
Makefile.am:2: while processing `nodist_java_JAVA'
/usr/share/automake-1.11/am/java.am: ... `CLASSPATH_ENV' previously defined here
Makefile.am:1: while processing `dist_java_JAVA'
/usr/share/automake-1.11/am/java.am: JAVAROOT multiply defined in condition TRUE ...
Makefile.am:2: while processing `nodist_java_JAVA'
/usr/share/automake-1.11/am/java.am: ... `JAVAROOT' previously defined here
Makefile.am:1: while processing `dist_java_JAVA'
Makefile.am:2: multiple _JAVA primaries in use
See also the attached testcase (for maint, v1.11-329-gd4df619).
This bug is particularly annoying because *.java files listed with
the `JAVA' primary are not included by default in the distribution.
Ganted, one can always use EXTRA_DIST to work around this issue,
but it would be nice if things Just Worked.
Regards,
Stefano
[java-mix-dist-nodist.test (application/x-shellscript, inline)]
This bug report was last modified 13 years and 341 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.