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

12

/seL4-l4v-10.1.1/isabelle/bin/
H A Disabelle_scala_script8 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
9 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
H A Disabelle8 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
9 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
H A Disabelle_java8 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
9 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
/seL4-l4v-10.1.1/l4v/isabelle/bin/
H A Disabelle_scala_script8 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
9 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
H A Disabelle8 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
9 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
H A Disabelle_java8 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
9 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
/seL4-l4v-10.1.1/isabelle/Admin/bash_process/
H A Dbuild14 echo "Usage: $PRG TARGET"
29 TARGET="$1"; shift
36 mkdir -p "$TARGET"
38 case "$TARGET" in
40 cc -Wall -m64 bash_process.c -o "$TARGET/bash_process"
43 cc -Wall -m32 bash_process.c -o "$TARGET/bash_process"
46 cc -Wall bash_process.c -o "$TARGET/bash_process.exe"
49 cc -Wall bash_process.c -o "$TARGET/bash_process"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/bash_process/
H A Dbuild14 echo "Usage: $PRG TARGET"
29 TARGET="$1"; shift
36 mkdir -p "$TARGET"
38 case "$TARGET" in
40 cc -Wall -m64 bash_process.c -o "$TARGET/bash_process"
43 cc -Wall -m32 bash_process.c -o "$TARGET/bash_process"
46 cc -Wall bash_process.c -o "$TARGET/bash_process.exe"
49 cc -Wall bash_process.c -o "$TARGET/bash_process"
/seL4-l4v-10.1.1/isabelle/Admin/Linux/
H A DIsabelle.run9 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
10 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/Linux/
H A DIsabelle.run9 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
10 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
/seL4-l4v-10.1.1/isabelle/lib/browser/
H A Dbuild47 TARGET="$ISABELLE_HOME/lib/browser/GraphBrowser.jar"
57 [ ! -e "$TARGET" -o "$SOURCE" -nt "$TARGET" ] && OUTDATED=true
68 isabelle_jdk jar cf "$(platform_path "$TARGET")" -C classes . ||
69 fail "Failed to produce $TARGET"
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/
H A Dbuild47 TARGET="$ISABELLE_HOME/lib/browser/GraphBrowser.jar"
57 [ ! -e "$TARGET" -o "$SOURCE" -nt "$TARGET" ] && OUTDATED=true
68 isabelle_jdk jar cf "$(platform_path "$TARGET")" -C classes . ||
69 fail "Failed to produce $TARGET"
/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/lib/Tools/
H A Dtptp_graph151 TARGET=$FILENAME.tex
153 TARGET=$FILENAME.pdf
156 [ -z "$NON_EXEC" ] && mv $TARGET $WD
160 [ -n "$SHOW_TARGET" ] && echo "$FILEDIR/$TARGET"
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/lib/Tools/
H A Dtptp_graph151 TARGET=$FILENAME.tex
153 TARGET=$FILENAME.pdf
156 [ -z "$NON_EXEC" ] && mv $TARGET $WD
160 [ -n "$SHOW_TARGET" ] && echo "$FILEDIR/$TARGET"
/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dlatex81 TARGET="$DIR"/$(basename "$STYLEFILE")
82 perl -p -e 's/\$[I]d:?(?:\s)*([^\$]*)\$//g' "$STYLEFILE" > "$TARGET"
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dlatex81 TARGET="$DIR"/$(basename "$STYLEFILE")
82 perl -p -e 's/\$[I]d:?(?:\s)*([^\$]*)\$//g' "$STYLEFILE" > "$TARGET"
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/
H A Dmakefile38 TARGET = buddy macro
40 RD = $(TARGET)$(VERSION)
54 rm -f $(TARGET).tar.gz
70 tar -cvf $(TARGET).tar *
71 gzip $(TARGET).tar
103 tar -cvf $(TARGET)$(VERSION).tar $(RD)/*
104 gzip $(TARGET)$(VERSION).tar
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dmakefile37 rm -f lib$(TARGET).a
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit275 TARGET="dist/jars/Isabelle-jEdit.jar"
283 if [ ! -e "$TARGET_BASE" -a ! -e "$TARGET" ]; then
304 [ "$DEP" -nt "$TARGET_BASE" -o "$DEP" -nt "$TARGET" ] && {
404 make_jar "$TARGET"
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit275 TARGET="dist/jars/Isabelle-jEdit.jar"
283 if [ ! -e "$TARGET_BASE" -a ! -e "$TARGET" ]; then
304 [ "$DEP" -nt "$TARGET_BASE" -o "$DEP" -nt "$TARGET" ] && {
404 make_jar "$TARGET"
/seL4-l4v-10.1.1/isabelle/src/Pure/
H A Dbuild-jars246 TARGET="$TARGET_DIR/Pure.jar"
254 if [ ! -e "$TARGET" ]; then
260 [ "$DEP" -nt "$TARGET" ] && {
280 rm -f "$TARGET"
305 isabelle_jdk jar cfe "$(platform_path "$TARGET")" isabelle.Main META-INF isabelle || \
306 fail "Failed to produce $TARGET"
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/
H A Dbuild-jars246 TARGET="$TARGET_DIR/Pure.jar"
254 if [ ! -e "$TARGET" ]; then
260 [ "$DEP" -nt "$TARGET" ] && {
280 rm -f "$TARGET"
305 isabelle_jdk jar cfe "$(platform_path "$TARGET")" isabelle.Main META-INF isabelle || \
306 fail "Failed to produce $TARGET"
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure643 TARGET
1518 --target=TARGET configure for building compilers for TARGET [HOST]
2909 test ".$TARGET" = "." && TARGET="$target"
2910 test ".$ax_enable_builddir" = ".auto" && ax_enable_builddir="$TARGET"
17700 TARGET=AARCH64; TARGETDIR=aarch64
17704 TARGET=ALPHA; TARGETDIR=alpha;
17710 TARGET=ARC; TARGETDIR=arc
17714 TARGET
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in261 TARGET = @TARGET@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in244 TARGET = @TARGET@

Completed in 163 milliseconds

12