USAGE_STATS := no
-Several build options are possible; for details on options , please read through the Makefile.cfg.
+Several build options are possible; for details on options, please read through the Makefile.cfg.
Options can be overridden by the content of a file named Makefile.personal which can be used to
adapt to local installation directories, change config options etc.
Below, a small number of typical scenarios are presented.
-
b) JNI enabled
install JDK into /home/<user id>/jdk
These tests might run for half an hour (regr.tests) to two hours (func.tests)
-8. Optionally , copy Titan into its final directory.
-From here on, you can continue with the Titan installation guide, see /Install/docs,
-to set/change environment variables etc.
-
+8. Optionally, copy Titan into its final directory.
+From here on, you can continue with the Titan installation guide, see /Install/docs, to set/change environment variables etc.