Searched refs:ARCHES (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/
H A Dc-parser20 ARCHES=
23 ARCHES="$ARCHES ${EXE%/c-parser}"
25 if [ -z "$ARCHES" ]; then
29 echo "Available architectures are:$ARCHES"
H A Dtokenizer20 ARCHES=
23 ARCHES="$ARCHES ${EXE%/tokenizer}"
25 if [ -z "$ARCHES" ]; then
29 echo "Available architectures are:$ARCHES"
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dmake_spec.sh67 ARCHES=("ARM" "RISCV64" "X64" "ARM_HYP")
127 for ARCH in ${ARCHES[@]}
135 for ARCH in ${ARCHES[@]}
137 specdiff=`diff "$SPECNONARCH/${ARCHES[0]}" "$SPECNONARCH/$ARCH"`
145 for thy in $SPECNONARCH/${ARCHES[0]}/*.thy; do rsync -c "$thy" "$SPEC/"; done

Completed in 92 milliseconds