From: akl Date: Fri, 27 Jul 2007 13:48:35 +0000 (+0000) Subject: New '-w' (without GUI) key was added to build MED module with '--without-ihm' key. X-Git-Tag: IMP_BR_4~53 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=2b9b4d149de8015fad0143e015abe576ada9a19f;p=tools%2Finstall.git New '-w' (without GUI) key was added to build MED module with '--without-ihm' key. --- diff --git a/config_files/build.csh b/config_files/build.csh index 97a5ea0..70e2b34 100755 --- a/config_files/build.csh +++ b/config_files/build.csh @@ -17,6 +17,7 @@ set is_build_configure=0 set is_configure=0 +set med_with_gui=1 set is_delete=0 set verbose_level=2 set params="" @@ -37,6 +38,8 @@ while ( ${%1} > 0 ) set is_configure=1 else if ( "$1" == "-c" ) then set is_configure=1 + else if ( "$1" == "-w" ) then + set med_with_gui=0 else if ( "$1" == "-d" ) then set is_delete=1 else if ( "$1" == "-o" ) then @@ -89,6 +92,10 @@ echo " This option forces configure (-c) key to be set. Default is of echo "" echo "-c Perform configure command for all given modules. Default is off." echo "" +echo "-w Add --without-ihm key to build_configure and configure" +echo " commands for MED module to build its sources without GUI." +echo " By default MED sources are built with GUI." +echo "" echo "-d Delete build directories before calling configure, to enforce full rebuild" echo " (and reinstall if -i or -p option is used) of module." echo " Use this option carefully." @@ -241,8 +248,11 @@ foreach module (${modules}) ######################################################### # call build_configure ######################################################### + if ( "${module}" == "MED" && $med_with_gui == 0 ) then + set add_keys="--without-ihm" + endif cd ${module_src} - ./build_configure >& ${LOG_DIR}/build_configure_${module}.log + ./build_configure ${add_keys} >& ${LOG_DIR}/build_configure_${module}.log ######################################################### # echo possible errors ######################################################### @@ -315,7 +325,10 @@ foreach module (${modules}) if ( ! -e ${module_src}/configure ) then echo "\!\!\! Warning \!\!\! Can not find configure script in ${module_src}." else - if ( "${module}" == "NETGENPLUGIN" && ($?NETGENHOME) ) then + if ( "${module}" == "MED" && $med_with_gui == 0 ) then + set add_keys="--without-ihm" + endif + 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 diff --git a/config_files/build.sh b/config_files/build.sh index 17f510f..1a0cbcf 100755 --- a/config_files/build.sh +++ b/config_files/build.sh @@ -25,7 +25,7 @@ usage(){ echo " make install commands" echo "" echo "Usage:" - echo " build.csh [