summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHans Ulrich Niedermann <hun@n-dimensional.de>2011-03-07 20:23:28 +0100
committerHans Ulrich Niedermann <hun@n-dimensional.de>2011-03-07 20:57:38 +0100
commitcff69928512cf8f8897d1e1c21e1e81a21060d7c (patch)
tree46b97e7a8edeccf0b2d712c68f7ab15a1c9fe217
parentae78fc49221d4c2b8f341444a7b8078d504e207e (diff)
downloadrasdaman-upstream-cff69928512cf8f8897d1e1c21e1e81a21060d7c.tar.gz
rasdaman-upstream-cff69928512cf8f8897d1e1c21e1e81a21060d7c.tar.xz
rasdaman-upstream-cff69928512cf8f8897d1e1c21e1e81a21060d7c.zip
doc: Document doxygen usage/non-usagerebase-expected/build-cleanup
-rw-r--r--INSTALL17
1 files changed, 17 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 74a61e9..878d458 100644
--- a/INSTALL
+++ b/INSTALL
@@ -24,6 +24,23 @@ It can be found in manuals_and_examples/manuals/pdf/inst-guide.pdf
Tips and tricks:
~~~~~~~~~~~~~~~~
+ * Shorter build times (without building the doxygen documentation)
+ are possible if you run your builds with DOXYGEN=: (':' is 'true').
+
+ Permanently disable doxygen builds:
+
+ $ ./configure DOXYGEN=no
+
+ Disable doxygen builds, but make it overridable in later builds:
+
+ $ ./configure DOXYGEN=:
+ $ make DOXYGEN=doxygen
+
+ If configure has found doxygen, temporarily run a build without
+ doxygen:
+
+ $ make DOXYGEN=: all
+
* If some libraries are installed in special places, you can set
CPPFLAGS or LDFLAGS when running configure, i.e. e.g.