Adding links to the micro commands in the macro commands

[tools/sat.git] / complete_sat.sh

diff --git a/complete_sat.sh b/complete_sat.sh
index 8c5e650d3b70c5a72f2f26069b152a95d02b61ba..c258f901d94f2950c91ed23fb08e3d3a6e366150 100755 (executable)
--- a/complete_sat.sh
+++ b/complete_sat.sh
@@ -80,7 +80,7 @@ _salomeTools_complete()
     # first argument => show available commands
     if [[ ${argc} == 1 ]]
     then
-        opts="config log testcommand source patch prepare environ clean configure --help"
+        opts="config log testcommand source patch prepare environ clean configure make makeinstall compile --help"
         COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
         return 0
     fi
@@ -169,6 +169,21 @@ _salomeTools_complete()
             COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
             return 0
             ;;
+        make)
+            opts="--products --option"
+            COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
+            return 0
+            ;;
+        makeinstall)
+            opts="--products"
+            COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
+            return 0
+            ;;
+        compile)
+            opts="--products --with_fathers --with_children --clean_all --make_flags --show --stop_first_fail"
+            COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
+            return 0
+            ;;
         *) return 0 ;;
     esac