]> SALOME platform Git repositories - tools/install.git/commitdiff
Salome HOME
*** empty log message ***
authormaintenance team <salome-mnt@opencascade.com>
Wed, 23 Apr 2008 08:34:30 +0000 (08:34 +0000)
committermaintenance team <salome-mnt@opencascade.com>
Wed, 23 Apr 2008 08:34:30 +0000 (08:34 +0000)
config_files/build.csh
config_files/build.sh

index fe5ee5eda98b29d338b79a4c83391dbc4ba50a53..080ee1c6ed06e4027a676b08d29f71a828404bac 100755 (executable)
@@ -92,7 +92,7 @@ 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 "-w          Add --without-gui 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 ""
@@ -249,7 +249,7 @@ foreach module (${modules})
            # call build_configure
            #########################################################
            if ( $med_with_gui == 0 && "${module}" == "MED" ) then
-               set add_keys="--without-ihm"
+               set add_keys="--without-gui"
            endif
            cd ${module_src}
            ./build_configure ${add_keys} >& ${LOG_DIR}/build_configure_${module}.log
@@ -329,7 +329,7 @@ foreach module (${modules})
            echo "\!\!\! Warning \!\!\! Can not find configure script in ${module_src}."
        else
            if ( $med_with_gui == 0 && "${module}" == "MED" ) then
-               set add_keys="--without-ihm"
+               set add_keys="--without-gui"
            endif
            if (  "${module}" == "MED" && ($?METISDIR)  && ($?SCOTCHDIR) ) then
                set add_keys="--enable-splitter=yes --with-metis=${METISDIR} --with-scotch=${SCOTCHDIR}"
index af4e3daf49dd638c72fefe4e9c88880bdfa9b16d..ae695bd4876b824c064e60fca4d6df27881085ca 100755 (executable)
@@ -38,7 +38,7 @@ usage(){
     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 "-w          Add --without-gui 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 ""
@@ -256,7 +256,7 @@ for module in ${modules}; do
                 # call build_configure
                #########################################################
                if [ $med_with_gui -eq 0 ] && [ ${module} == "MED" ] ; then
-                   add_keys="--without-ihm"
+                   add_keys="--without-gui"
                fi
                cd ${module_src}
                ./build_configure ${add_keys} >& ${LOG_DIR}/build_configure_${module}.log
@@ -338,7 +338,7 @@ for module in ${modules}; do
                echo
            else
                if [ $med_with_gui -eq 0 ] && [ "${module}" == "MED" ] ; then
-                   add_keys="--without-ihm"
+                   add_keys="--without-gui"
                fi
                if [  "${module}" == "MED" ] && [ "${METISDIR}" != "" ] && [ "${SCOTCHDIR}" != "" ] ; then
                    add_keys="--enable-splitter=yes --with-metis=${METISDIR} --with-scotch=${SCOTCHDIR}"