next up previous
Next: Makefile.common Up: Configuration files Previous: Configuration files

   
Makefile.config.*

These files (one for Linux, the other for Solaris, contain the paths to various tools needed during build and work. If your JDK is installed in a different location than the default one, or if you use javac instead of the much faster jikes java compiler, you probably need to change something there. After a change, run configure again.



Holger Veit
2001-05-14