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

/seL4-l4v-10.1.1/seL4/tools/python-deps/
H A Dsetup.py17 To add a python dependency, add it to the DEPS list below.
28 DEPS = [ variable
49 install_requires=DEPS,
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit287 declare -a DEPS=(
293 declare -a DEPS=(
299 declare -a DEPS=()
301 for DEP in "${DEPS[@]}"
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit287 declare -a DEPS=(
293 declare -a DEPS=(
299 declare -a DEPS=()
301 for DEP in "${DEPS[@]}"
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A Dmisc.tex806 DEPS = $(patsubst %,$(dprot $(SIGOBJ)/%),$(OBJNAMES))
808 $(HOLHEAP): $(DEPS)
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A Dmisc.tex741 DEPS = $(patsubst %,$(dprot $(SIGOBJ)/%),$(OBJNAMES))
743 $(HOLHEAP): $(DEPS)

Completed in 49 milliseconds