X-Git-Url: http://git.salome-platform.org/gitweb/?a=blobdiff_plain;f=config_files%2Fbuild.csh;h=7b8ea28e53bebd658429a34911aa042f2d829aa4;hb=3fc3493387b534f9e0c536de985ac0af3413ae7a;hp=a9f0a441cecf48e1d9ed52c53a5b31a530c76d18;hpb=1d97c51509300fc41d8b2fbe31cb40ffd6f44bec;p=tools%2Finstall.git diff --git a/config_files/build.csh b/config_files/build.csh index a9f0a44..7b8ea28 100755 --- 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 #########################################################