[PATCH] for Review: Java configure options in install.texi

[Tom Tromey]

>>>>> "Mohan" == Mohan Embar <gnustuff@thisiscool.com> writes:

Mohan> I know I need to submit this to gcc-patches, but I wanted to
Mohan> give us a chance to look at things here first. In particular,
Mohan> I'm looking for feedback on the way I formatted the new section
Mohan> as well as more elaborate documentation for most of the
Mohan> options. You can also send these to me in a plain text email
Mohan> and I'll incorporate them.

I looked at this and it seems pretty reasonable to me.

Mohan> If I don't here from anyone soon, I'll submit this to
Mohan> gcc-patches. I'm assuming doc fixes like this can still go into
Mohan> 3.4, but what do I know?

I believe something like this can go in 3.4.
We'll find out :-)

Some of these options are probably bogus these days.  E.g., is
--disable-java-net really useful any more?  Has anybody tried
--with-ecos recently?  Does anyone use JVMPI (which is incomplete?) --
I wonder if it should be disabled by default.


Included below is some extra text you could consider adding.

Mohan> +@item --enable-hash-synchronization
Mohan> +Use a global hash table for monitor locks.

Ordinarily libgcj's configure script automatically makes the correct
choice for this option for your platform.  Only use this if you know
you need the library to be configured differently.

Mohan> +@item --enable-interpreter
Mohan> +Enable the Java interpreter.

The interpreter is automatically enabled by default on all platforms
that support it.  This option is really only useful if you want to
disable the interpreter.

Mohan> +@item --disable-java-net
Mohan> +Disable java.net.

This disables the native part of java.net only.

Mohan> +@item --without-libffi
Mohan> +Don't use libffi.

This will disable the interpreter and JNI support as well, as these
require libffi to work.

Mohan> +@item --enable-sjlj-exceptions
Mohan> +Force use of @code{builtin_setjmp} for exceptions.

configure ordinarily picks the correct value based on the platform.
Only use this option if you are sure you need a different setting.

Tom