New version of doxygen (1.4.6) is introduced

[tools/install.git] / config_files / build.csh

diff --git a/config_files/build.csh b/config_files/build.csh
index a9f0a441cecf48e1d9ed52c53a5b31a530c76d18..7b8ea28e53bebd658429a34911aa042f2d829aa4 100755 (executable)
--- a/config_files/build.csh
+++ b/config_files/build.csh
@@ -193,22 +193,22 @@ foreach module (${modules})
     if ( $is_build_configure == 1 || $cfg_exist == 0 ) then
        echo "------- Build configure ---------"
        #########################################################
-       # if build_configure script is not found, omit the module
+       # check if build_configure script exists
        #########################################################
        if ( ! -e ${module_src}/build_configure ) then
-           echo "Error! Nothing to build in ${module_src}. Skipping module."
-           continue
-       endif
-       #########################################################
-       # call build_configure
-       #########################################################
-       cd ${module_src}
-       ./build_configure >& ${LOG_DIR}/build_configure_${module}.log
-       #########################################################
-       # echo possible errors
-       #########################################################
-       if ( $verbose_level > 0 ) then
-           cat ${LOG_DIR}/build_configure_${module}.log | grep ": error:"
+           echo "Warning! Can not find build_configure script in ${module_src}."
+       else
+           #########################################################
+           # call build_configure
+           #########################################################
+           cd ${module_src}
+           ./build_configure >& ${LOG_DIR}/build_configure_${module}.log
+           #########################################################
+           # echo possible errors
+           #########################################################
+           if ( $verbose_level > 0 ) then
+               cat ${LOG_DIR}/build_configure_${module}.log | grep ": error:"
+           endif
        endif
     endif
     #########################################################
@@ -254,18 +254,25 @@ foreach module (${modules})
     #########################################################
     if ( $is_configure == 1 || $mkfile_exist == 0) then
        echo "------- Configure ---------------"
-       if (  "${module}" == "NETGENPLUGIN" && ($?NETGENHOME) ) then
-           set add_keys="--with-netgen=${NETGENHOME}"
-       endif
-       ${module_src}/configure --prefix=$px ${optim} ${add_keys} >& ${LOG_DIR}/configure_${module}.log
        #########################################################
-       # echo possible errors
+       # check if configure script exists
        #########################################################
-       if ( $verbose_level > 0 ) then
-           cat ${LOG_DIR}/configure_${module}.log | grep ": error:"
-       endif
-       if ( $verbose_level > 1 ) then
-           cat ${LOG_DIR}/configure_${module}.log | grep ": WARNING:"
+       if ( ! -e ${module_src}/configure ) then
+           echo "Warning! Can not find configure script in ${module_src}."
+       else
+           if (  "${module}" == "NETGENPLUGIN" && ($?NETGENHOME) ) then
+               set add_keys="--with-netgen=${NETGENHOME}"
+           endif
+           ${module_src}/configure --prefix=$px ${optim} ${add_keys} >& ${LOG_DIR}/configure_${module}.log
+           #########################################################
+           # echo possible errors
+           #########################################################
+           if ( $verbose_level > 0 ) then
+               cat ${LOG_DIR}/configure_${module}.log | grep ": error:"
+           endif
+           if ( $verbose_level > 1 ) then
+               cat ${LOG_DIR}/configure_${module}.log | grep ": WARNING:"
+           endif
        endif
     endif
     #########################################################
@@ -275,7 +282,7 @@ foreach module (${modules})
     #########################################################
     # first clear dependencies
     #########################################################
-    find . -name ".dep*" -exec rm -rf {} \; >& /dev/null
+    find . -name ".dep*" -type f -exec rm -f {} \; >& /dev/null
     make >& ${LOG_DIR}/make_${module}.log
     set sts=$status
     #########################################################