Searched refs:TARGET_DIR (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/graph-refine/seL4-example/
H A DMakefile30 TARGET_DIR := target/${TARGET_NAME} macro
34 KERNEL_BUILD_ROOT := ${TARGET_DIR}/build
63 ${TARGET_DIR}/summary.txt: ${TARGET_DIR}/kernel_all.c_pp
74 KERNEL_PATHS := $(patsubst %, $(TARGET_DIR)/%, $(KERNEL_FILES))
75 TARGET_PATHS := $(patsubst %, $(TARGET_DIR)/%, $(TARGET_FILES))
77 KERNEL_TGZ := ${TARGET_DIR}/kernel.tar.gz
78 TARGET_TGZ := ${TARGET_DIR}/target.tar.gz
81 tar -czf $@ -C ${TARGET_DIR} ${KERNEL_FILES}
84 tar -czf $@ -C ${TARGET_DIR}
[all...]
/seL4-l4v-master/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit276 TARGET_DIR="src/Tools/jEdit/dist"
277 TARGET_JAR0="$TARGET_DIR/jars/Isabelle-jEdit-base.jar"
278 TARGET_JAR="$TARGET_DIR/jars/Isabelle-jEdit.jar"
279 TARGET_SHASUM="$TARGET_DIR/Isabelle-jEdit.shasum"
281 declare -a TARGET_DEPS=("lib/classes/Pure.jar" "$TARGET_DIR/jedit.jar")
284 TARGET_DEPS["${#TARGET_DEPS[@]}"]="$TARGET_DIR/jars/$DEP"
295 rm -rf "$ISABELLE_HOME/$TARGET_DIR"
303 BUILD_DIR="$TARGET_DIR/build"
342 mkdir -p "$TARGET_DIR" || failed
344 cp -p -R "$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/." "$TARGET_DIR/
[all...]
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit276 TARGET_DIR="src/Tools/jEdit/dist"
277 TARGET_JAR0="$TARGET_DIR/jars/Isabelle-jEdit-base.jar"
278 TARGET_JAR="$TARGET_DIR/jars/Isabelle-jEdit.jar"
279 TARGET_SHASUM="$TARGET_DIR/Isabelle-jEdit.shasum"
281 declare -a TARGET_DEPS=("lib/classes/Pure.jar" "$TARGET_DIR/jedit.jar")
284 TARGET_DEPS["${#TARGET_DEPS[@]}"]="$TARGET_DIR/jars/$DEP"
295 rm -rf "$ISABELLE_HOME/$TARGET_DIR"
303 BUILD_DIR="$TARGET_DIR/build"
342 mkdir -p "$TARGET_DIR" || failed
344 cp -p -R "$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/." "$TARGET_DIR/
[all...]
/seL4-l4v-master/isabelle/src/Pure/
H A Dbuild-jars257 TARGET_DIR="lib/classes"
258 TARGET_JAR="$TARGET_DIR/Pure.jar"
259 TARGET_SHASUM="$TARGET_DIR/Pure.shasum"
268 rm -rf "$TARGET_DIR"
282 BUILD_DIR="$TARGET_DIR/build"
/seL4-l4v-master/l4v/isabelle/src/Pure/
H A Dbuild-jars257 TARGET_DIR="lib/classes"
258 TARGET_JAR="$TARGET_DIR/Pure.jar"
259 TARGET_SHASUM="$TARGET_DIR/Pure.shasum"
268 rm -rf "$TARGET_DIR"
282 BUILD_DIR="$TARGET_DIR/build"

Completed in 73 milliseconds