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

12

/seL4-l4v-10.1.1/graph-refine/graph-to-graph/wcet_scripts/
H A Dbamboo_setup.sh14 DIR="$(cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd)"
15 echo $DIR
16 SETUP_ROOT=${DIR}/../../../
/seL4-l4v-10.1.1/HOL4/src/holyhammer/provers/
H A Dz3.sh2 DIR=$2
3 IN="$DIR/atp_in"
4 OUT1="$DIR/out1"
5 OUT2="$DIR/out2"
6 OUT="$DIR/out"
7 STATUS="$DIR/status"
8 ERROR="$DIR/error"
9 ERROR1="$DIR/error1"
H A Dvampire.sh2 DIR=$2
3 IN="$DIR/atp_in"
4 OUT="$DIR/out"
5 OUT1="$DIR/out1"
6 OUT2="$DIR/out2"
7 STATUS="$DIR/status"
8 ERROR="$DIR/error"
H A Deprover.sh3 DIR="$2"
4 IN="$DIR/atp_in"
5 OUT1="$DIR/out1"
6 OUT2="$DIR/out2"
7 OUT="$DIR/out"
8 STATUS="$DIR/status"
9 ERROR="$DIR/error"
10 ERROR1="$DIR/error1"
/seL4-l4v-10.1.1/isabelle/Admin/Windows/Cygwin/
H A Dsetup_server15 local DIR="${2:-.}"
16 mkdir -p "$DIR" || fail "Cannot create directory: \"$DIR\""
18 curl --fail --silent "$URL" > "$DIR"/"$(basename "$URL")" || fail "FAILED"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/Windows/Cygwin/
H A Dsetup_server15 local DIR="${2:-.}"
16 mkdir -p "$DIR" || fail "Cannot create directory: \"$DIR\""
18 curl --fail --silent "$URL" > "$DIR"/"$(basename "$URL")" || fail "FAILED"
/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/
H A Dc-parser15 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
19 cd "$DIR"
27 echo "Try running 'make' in $DIR"
41 EXE="$DIR/$ARCH/c-parser"
H A Dtokenizer15 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
19 cd "$DIR"
27 echo "Try running 'make' in $DIR"
41 EXE="$DIR/$ARCH/tokenizer"
/seL4-l4v-10.1.1/l4v/tools/proofcount/
H A Dinstall.sh12 DIR=$( cd "$( dirname "$BASH_SOURCE[0]}" )" && pwd)
34 echo "init_component "$DIR/"" >> "$ISABELLE_HOME_USER/etc/settings"
/seL4-l4v-10.1.1/graph-refine/
H A Drun_tests16 DIR="$(cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd)"
19 cd ${DIR}
/seL4-l4v-10.1.1/isabelle/bin/
H A Disabelle28 for DIR in "${TOOLS[@]}"
30 TOOL="$DIR/$TOOL_NAME"
/seL4-l4v-10.1.1/l4v/isabelle/bin/
H A Disabelle28 for DIR in "${TOOLS[@]}"
30 TOOL="$DIR/$TOOL_NAME"
/seL4-l4v-10.1.1/l4v/
H A Drun_tests21 DIR=os.path.dirname(os.path.realpath(__file__)) variable
24 os.environ["PATH"] += os.pathsep + DIR
99 os.chdir(DIR)
/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dlatex64 DIR="$(dirname "$FILE")"
66 [ "$DIR" = . ] || FILEBASE="$DIR/$FILEBASE"
81 TARGET="$DIR"/$(basename "$STYLEFILE")
H A Dupdate_op12 echo "Usage: isabelle $PRG [OPTIONS] [DIR]"
39 DIR="."
41 DIR="$1"
94 find "$DIR" -name "*.thy" -exec sed '-i~~' -e "$THY_SCRIPT" {} \;
96 [ "$IGNORE_ML" = "true" ] || find "$DIR" -name "*.ML" -exec sed '-i~~' -e "$ML_SCRIPT" {} \;
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dlatex64 DIR="$(dirname "$FILE")"
66 [ "$DIR" = . ] || FILEBASE="$DIR/$FILEBASE"
81 TARGET="$DIR"/$(basename "$STYLEFILE")
H A Dupdate_op12 echo "Usage: isabelle $PRG [OPTIONS] [DIR]"
39 DIR="."
41 DIR="$1"
94 find "$DIR" -name "*.thy" -exec sed '-i~~' -e "$THY_SCRIPT" {} \;
96 [ "$IGNORE_ML" = "true" ] || find "$DIR" -name "*.ML" -exec sed '-i~~' -e "$ML_SCRIPT" {} \;
/seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/
H A Dmakedist27 echo " -d DIR global directory prefix (default: \"$DISTPREFIX\")"
118 DIR="$DISTBASE/$DISTNAME"
119 [ -e "$DIR" ] && fail "Directory \"$DIR\" already exists"
128 "$HG" --repository "$ISABELLE_HOME" archive --type files -r "$IDENT" "$DIR" || \
131 rm -f "$DIR/.hg_archival.txt"
132 rm -f "$DIR/.hgtags"
133 rm -f "$DIR/.hgignore"
134 rm -f "$DIR/README_REPOSITORY"
139 cd "$DIR"
[all...]
H A Dmakedist_bundle152 for DIR in $(eval find "$@" | sort)
154 echo "removing $DIR"
155 rm -rf "$DIR"
165 local DIR="contrib/jdk/$1"
168 if [ -d "$DIR/jre" ]; then
169 for X in "$DIR"/*
180 fail "Bad JDK directory: \"$DIR\""
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/
H A Dmakedist27 echo " -d DIR global directory prefix (default: \"$DISTPREFIX\")"
118 DIR="$DISTBASE/$DISTNAME"
119 [ -e "$DIR" ] && fail "Directory \"$DIR\" already exists"
128 "$HG" --repository "$ISABELLE_HOME" archive --type files -r "$IDENT" "$DIR" || \
131 rm -f "$DIR/.hg_archival.txt"
132 rm -f "$DIR/.hgtags"
133 rm -f "$DIR/.hgignore"
134 rm -f "$DIR/README_REPOSITORY"
139 cd "$DIR"
[all...]
H A Dmakedist_bundle152 for DIR in $(eval find "$@" | sort)
154 echo "removing $DIR"
155 rm -rf "$DIR"
165 local DIR="contrib/jdk/$1"
168 if [ -d "$DIR/jre" ]; then
169 for X in "$DIR"/*
180 fail "Bad JDK directory: \"$DIR\""
/seL4-l4v-10.1.1/l4v/misc/autostop/
H A Dkillbig.c51 DIR *proc_dir = opendir("/proc");
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dio_internal.h81 DIR *ioDir; /* Directory entry. */
/seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/
H A Dgrammar.scala147 -d DIR include session directory
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/
H A Dgrammar.scala147 -d DIR include session directory

Completed in 108 milliseconds

12