Odd behavior with --prefix

[Robert Schuster]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi all,
from the debate about java.util.logging.LogManager I stepped upon a
small oddity with our configure script:

1) Gentoo configures gnu classpath with
./configure --prefix=/usr --host=i686-pc-linux-gnu
- --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share
- --sysconfdir=/etc --localstatedir=/var/lib --enable-jni
- --enable-gtk-peer --enable-xmlj --prefix=/usr/share/gnu-classpath
- --with-jikes=/usr/bin/jikes

Sharp eyes will see that the line contains --prefix two times:

./configure *--prefix=/usr* --host=i686-pc-linux-gnu
- --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share
- --sysconfdir=/etc --localstatedir=/var/lib --enable-jni
- --enable-gtk-peer --enable-xmlj *--prefix=/usr/share/gnu-classpath*
- --with-jikes=/usr/bin/jikes

This is obviously a bug in gentoo's installation script and I am going
to fix it. However the interesting bit is, that our configure script
takes the value of (the 2nd) --prefix and puts it to
gnu.classpath.Configuration.CLASSPATH_HOME as "/usr/share/gnu-classpath"
on Gentoo.

At installation time glibj.zip goes to /usr/share (datadir I suppose)
but the JNI libraries are installed to /usr/lib/classpath and I suppose
it used the first version of --prefix for this.

Is there a possibility to make configure cry out loud when it is misused
in such a way?

cu
Robert
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFCjR1GG9cfwmwwEtoRAl9RAKCNtnOGw4R6e3Azup/4QuvM+XEqigCghg6a
fnEvcokijUEV6EvqMq/z9XQ=
=8B2F
-----END PGP SIGNATURE-----