Searched refs:OPTARG (Results 1 - 25 of 25) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dclient41 SERVER_OPTS["${#SERVER_OPTS[@]}"]="$OPTARG"
45 SERVER_OPTS["${#SERVER_OPTS[@]}"]="$OPTARG"
H A Dgetenv47 DUMP="$OPTARG"
H A Dinstall43 DISTDIR="$OPTARG"
H A Dlogo42 OUTPUT_NAME="$OPTARG"
H A Dbrowser48 OUTFILE="$OPTARG"
H A Dlatex41 OUTFORMAT="$OPTARG"
H A Dcomponents54 COMPONENT_REPOSITORY="$OPTARG"
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dclient41 SERVER_OPTS["${#SERVER_OPTS[@]}"]="$OPTARG"
45 SERVER_OPTS["${#SERVER_OPTS[@]}"]="$OPTARG"
H A Dgetenv47 DUMP="$OPTARG"
H A Dinstall43 DISTDIR="$OPTARG"
H A Dlogo42 OUTPUT_NAME="$OPTARG"
H A Dbrowser48 OUTFILE="$OPTARG"
H A Dlatex41 OUTFORMAT="$OPTARG"
H A Dcomponents54 COMPONENT_REPOSITORY="$OPTARG"
/seL4-l4v-10.1.1/isabelle/src/HOL/Mirabelle/lib/Tools/
H A Dmirabelle75 MIRABELLE_LOGIC="$OPTARG"
78 MIRABELLE_THEORY="$OPTARG"
81 MIRABELLE_OUTPUT_PATH="$OPTARG"
84 MIRABELLE_DIR="$OPTARG"
87 MIRABELLE_TIMEOUT="$OPTARG"
90 MIRABELLE_SETUP_FILE="$OPTARG"
/seL4-l4v-10.1.1/isabelle/src/HOL/Mutabelle/lib/Tools/
H A Dmutabelle40 MUTABELLE_LOGIC="$OPTARG"
43 MUTABELLE_IMPORTS="$MUTABELLE_IMPORTS \"$OPTARG\""
46 MUTABELLE_OUTPUT_PATH="$OPTARG"
49 NUMBER_OF_LEMMAS="$OPTARG"
52 MUTABELLE_NUMBER_OF_MUTANTS="$OPTARG"
55 MUTABELLE_NUMBER_OF_MUTATIONS="$OPTARG"
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Mirabelle/lib/Tools/
H A Dmirabelle75 MIRABELLE_LOGIC="$OPTARG"
78 MIRABELLE_THEORY="$OPTARG"
81 MIRABELLE_OUTPUT_PATH="$OPTARG"
84 MIRABELLE_DIR="$OPTARG"
87 MIRABELLE_TIMEOUT="$OPTARG"
90 MIRABELLE_SETUP_FILE="$OPTARG"
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Mutabelle/lib/Tools/
H A Dmutabelle40 MUTABELLE_LOGIC="$OPTARG"
43 MUTABELLE_IMPORTS="$MUTABELLE_IMPORTS \"$OPTARG\""
46 MUTABELLE_OUTPUT_PATH="$OPTARG"
49 NUMBER_OF_LEMMAS="$OPTARG"
52 MUTABELLE_NUMBER_OF_MUTANTS="$OPTARG"
55 MUTABELLE_NUMBER_OF_MUTATIONS="$OPTARG"
/seL4-l4v-10.1.1/l4v/tools/proofcount/lib/Tools/
H A Dproofcount74 PROOFCOUNT_LOGIC="$OPTARG"
77 PROOFCOUNT_IMPORT_THEORY="$OPTARG"
80 PROOFCOUNT_OUTPUT_PATH="$OPTARG"
84 PROOFCOUNT_METRICS["$PROOFCOUNT_CURRENT_METRIC"]="$OPTARG"
88 PROOFCOUNT_SPECS["$PROOFCOUNT_CURRENT_METRIC"]+="$OPTARG "
92 PROOFCOUNT_PROOF_BOTTOM["$PROOFCOUNT_CURRENT_METRIC"]+="$OPTARG "
96 PROOFCOUNT_PROOF_TOP["$PROOFCOUNT_CURRENT_METRIC"]+="$OPTARG "
100 PROOFCOUNT_TOPLEVEL_FACTS["$PROOFCOUNT_CURRENT_METRIC"]+="$OPTARG "
103 PROOFCOUNT_XML="`realpath "$OPTARG"`"
109 PROOFCOUNT_BUILD_DIR="$OPTARG"
[all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit159 JEDIT_LOGIC_ANCESTOR="$OPTARG"
162 JAVA_ARGS["${#JAVA_ARGS[@]}"]="-D$OPTARG"
165 JAVA_ARGS["${#JAVA_ARGS[@]}"]="$OPTARG"
168 JEDIT_LOGIC="$OPTARG"
172 JEDIT_LOGIC="$OPTARG"
181 JEDIT_SESSION_DIRS="$OPTARG"
183 JEDIT_SESSION_DIRS="$JEDIT_SESSION_DIRS:$OPTARG"
188 JEDIT_INCLUDE_SESSIONS="$OPTARG"
190 JEDIT_INCLUDE_SESSIONS="$JEDIT_INCLUDE_SESSIONS:$OPTARG"
197 ARGS["${#ARGS[@]}"]="$OPTARG"
[all...]
H A Djedit_client62 SERVER_NAME="$OPTARG"
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit159 JEDIT_LOGIC_ANCESTOR="$OPTARG"
162 JAVA_ARGS["${#JAVA_ARGS[@]}"]="-D$OPTARG"
165 JAVA_ARGS["${#JAVA_ARGS[@]}"]="$OPTARG"
168 JEDIT_LOGIC="$OPTARG"
172 JEDIT_LOGIC="$OPTARG"
181 JEDIT_SESSION_DIRS="$OPTARG"
183 JEDIT_SESSION_DIRS="$JEDIT_SESSION_DIRS:$OPTARG"
188 JEDIT_INCLUDE_SESSIONS="$OPTARG"
190 JEDIT_INCLUDE_SESSIONS="$JEDIT_INCLUDE_SESSIONS:$OPTARG"
197 ARGS["${#ARGS[@]}"]="$OPTARG"
[all...]
H A Djedit_client62 SERVER_NAME="$OPTARG"
/seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/
H A Dmakedist68 DISTPREFIX="$OPTARG"
71 check_number "$OPTARG"
72 JOBS="-j $OPTARG"
75 RELEASE="$OPTARG"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/
H A Dmakedist68 DISTPREFIX="$OPTARG"
71 check_number "$OPTARG"
72 JOBS="-j $OPTARG"
75 RELEASE="$OPTARG"

Completed in 63 milliseconds