summaryrefslogtreecommitdiff
path: root/DartConfig.cmake
diff options
context:
space:
mode:
Diffstat (limited to 'DartConfig.cmake')
-rw-r--r--DartConfig.cmake5
1 files changed, 5 insertions, 0 deletions
diff --git a/DartConfig.cmake b/DartConfig.cmake
index 7958634cd8..e757992ee9 100644
--- a/DartConfig.cmake
+++ b/DartConfig.cmake
@@ -9,5 +9,10 @@ SET (TRIGGER_SITE
# Dart server configuration
SET (CVS_WEB_URL "http://${DROP_SITE}/cgi-bin/cvsweb.cgi/CMake/")
SET (CVS_WEB_CVSROOT "CMake")
+
+OPTION(BUILD_DOXYGEN "Build source documentation using doxygen" "Off")
SET (DOXYGEN_URL "http://${DROP_SITE}/CMake/Doxygen/html/" )
+SET (DOXYGEN_CONFIG "${PROJECT_BINARY_DIR}/doxygen.config" )
+
+SET (USE_GNATS "Off")
SET (GNATS_WEB_URL "http://${DROP_SITE}/cgi-bin/gnatsweb.pl/CMake/")