From: vsr <vsr@opencascade.com>
Date: Fri, 6 Oct 2006 11:17:11 +0000 (+0000)
Subject: Add -t flag for build.csh script to allow building TUI documentation
X-Git-Tag: V_3_2_2_before64bit~2
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=9b1ff5e87a79d405b40368ba780ae47451b3aca2;p=tools%2Finstall.git

Add -t flag for build.csh script to allow building TUI documentation
---

diff --git a/config_files/build.csh b/config_files/build.csh
index 43d80bc..e91253d 100755
--- a/config_files/build.csh
+++ b/config_files/build.csh
@@ -16,6 +16,7 @@ set modules=(KERNEL GUI GEOM MED SMESH VISU SUPERV NETGENPLUGIN GHS3DPLUGIN COMP
 set optim=""
 set is_install=0
 set is_help=0
+set is_tui=0
 set prefix=""
 
 #########################################################
@@ -42,6 +43,8 @@ while ( ${%1} > 0 )
 	set prefix=$1
     else if ( "$1" == "-h" ) then
 	set is_help=1
+    else if ( "$1" == "-t" ) then
+	set is_tui=1
     else
 	set ckt=`echo ${modules} | grep $1`
 	if ( "$ckt" != "" ) then
@@ -86,6 +89,9 @@ echo "            Use this option together with -c or -b."
 echo "            This option can require -d option to be set (to ensure that previously"
 echo "            created build directories are removed to enforce rebuild in optimized mode)."
 echo ""
+echo "-t          Performs make dev_docs step to build TUI documentation for those modules"
+echo "            which support this. Default is off."
+echo ""
 echo "-i          Performs make install step. Default is off that means only make step."
 echo ""
 echo "-p <prefix> Define the directory where to install modules after compilation."
@@ -350,6 +356,18 @@ foreach module (${modules})
 	cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {printf $0} END {print ""}' | grep ": warning" | sed s@"^${module_src}/src/"@@
     endif
     #########################################################
+    # perform make dev_docs step if -t flag is given
+    #########################################################
+    if ( $is_tui == 1 && $sts == 0 && -d ${module_build}/doc ) then
+	cd ${module_build}/doc
+	set dd=`cat Makefile | grep -E "dev_docs[[:space:]]*:"`
+	if ( "$dd" != "" ) then
+	    echo "... Performing make dev_docs"
+	    make dev_docs >& ${LOG_DIR}/make_dev_docs_${module}.log
+	endif
+    endif
+    cd ${module_build}
+    #########################################################
     # perform make if -i or -p flags are given
     #########################################################
     if ( $is_install == 1 && $sts == 0 || "${module}" == "KERNEL" ) then