Searched refs:GRAPHFILE (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dbrowser13 echo "Usage: isabelle $PRG [OPTIONS] [GRAPHFILE]"
17 echo " -c cleanup -- remove GRAPHFILE after use"
61 GRAPHFILE=""
62 [ "$#" -gt 0 ] && { GRAPHFILE="$1"; shift; }
72 if [ -n "$GRAPHFILE" ]; then
73 PRIVATE_FILE="${ISABELLE_TMP:-${TMPDIR:-/tmp}}/$$"$(basename "$GRAPHFILE")
75 mv -f "$GRAPHFILE" "$PRIVATE_FILE" || fail "Cannot move file: $GRAPHFILE"
77 cp -f "$GRAPHFILE" "$PRIVATE_FILE" || fail "Cannot copy file: $GRAPHFILE"
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dbrowser13 echo "Usage: isabelle $PRG [OPTIONS] [GRAPHFILE]"
17 echo " -c cleanup -- remove GRAPHFILE after use"
61 GRAPHFILE=""
62 [ "$#" -gt 0 ] && { GRAPHFILE="$1"; shift; }
72 if [ -n "$GRAPHFILE" ]; then
73 PRIVATE_FILE="${ISABELLE_TMP:-${TMPDIR:-/tmp}}/$$"$(basename "$GRAPHFILE")
75 mv -f "$GRAPHFILE" "$PRIVATE_FILE" || fail "Cannot move file: $GRAPHFILE"
77 cp -f "$GRAPHFILE" "$PRIVATE_FILE" || fail "Cannot copy file: $GRAPHFILE"
[all...]

Completed in 61 milliseconds