Searched refs:L4V_ARCH (Results 1 - 8 of 8) sorted by relevance
| /seL4-l4v-10.1.1/l4v/ |
| H A D | run_tests | 26 # Export L4V_ARCH variable as ARM (Default)
27 if not os.environ.has_key("L4V_ARCH"):
28 os.environ["L4V_ARCH"] = L4V_ARCH_DEFAULT
30 L4V_ARCH=os.environ["L4V_ARCH"] variable
32 # Test Orphanage when L4V_ARCH=ARM;
35 if L4V_ARCH == "ARM":
36 os.environ["L4V_ARCH_IS_ARM"]= L4V_ARCH
40 if L4V_ARCH not in L4V_ARCH_LIST:
41 sys.exit("Unknown architecture L4V_ARCH
[all...] |
| /seL4-l4v-10.1.1/l4v/tools/c-parser/ |
| H A D | Makefile | 59 cparser_test: c-parser-deps testfiles/$(L4V_ARCH)/ROOT .FORCE
60 $(ISABELLE) build -d $(L4V_ROOT_DIR) -d testfiles/$(L4V_ARCH) -b -v CParserTest
61 testfiles/$(L4V_ARCH)/ROOT: testfiles testfiles/*.c testfiles/*.thy ../../misc/scripts/gen_isabelle_root.py
62 python ../../misc/scripts/gen_isabelle_root.py -i testfiles -i testfiles/$(L4V_ARCH) -o testfiles/$(L4V_ARCH)/ROOT -s CParserTest -b CParser
63 all_tests_$(L4V_ARCH).thy: testfiles testfiles/*.c ../../misc/scripts/gen_isabelle_root.py
64 python ../../misc/scripts/gen_isabelle_root.py -T -o $@ -b CParser -i testfiles -i testfiles/$(L4V_ARCH)
|
| H A D | mkrelease | 96 L4V_ARCH=$ARCH misc/scripts/thydeps -I ./isabelle -d . -b . -r CParser
128 echo "Executing gen_isabelle_root to generate testfiles/\$L4V_ARCH/ROOT."
129 for L4V_ARCH in $RELEASE_ARCHS; do
130 python misc/scripts/gen_isabelle_root.py -i "$outputdir/src/c-parser/testfiles" -i "$outputdir/src/c-parser/testfiles/${L4V_ARCH}" -o "$outputdir/src/c-parser/testfiles/$L4V_ARCH/ROOT" -s CParserTest -b CParser ||
134 echo "Executing gen_isabelle_root to generate testfiles/all_tests_\$L4V_ARCH.thy."
135 for L4V_ARCH in $RELEASE_ARCHS; do
136 python misc/scripts/gen_isabelle_root.py -T -o "$outputdir/src/c-parser/all_tests_${L4V_ARCH}.thy" -b CParser -i "$outputdir/src/c-parser/testfiles" -i "$outputdir/src/c-parser/testfiles/${L4V_ARCH}" ||
141 if ! grep -q '^testfiles/\$(L4V_ARCH)/ROO
[all...] |
| /seL4-l4v-10.1.1/l4v/spec/ |
| H A D | Makefile | 15 L4V_ARCH?=ARM macro
60 cd cspec/c && L4V_REPO_PATH=$(L4V_REPO_PATH) L4V_ARCH=$(L4V_ARCH) $(MAKE) cspec
82 cd cspec/c && L4V_ARCH=$(L4V_ARCH) $(MAKE) clean SKIP_PATH_CHECKS=1
|
| /seL4-l4v-10.1.1/l4v/spec/cspec/c/ |
| H A D | Makefile | 17 BUILDROOT=${PWD}/build/${L4V_ARCH}
18 CONFIG=${L4V_ARCH}_verified.cmake
23 ifeq ($(findstring ARM, ${L4V_ARCH}),ARM)
27 ifeq (${L4V_ARCH},RISCV64)
|
| /seL4-l4v-10.1.1/graph-refine/seL4-example/ |
| H A D | Makefile.common | 20 L4V_ARCH?=ARM
36 CSPEC_BUILD_PREFIX=build/${L4V_ARCH}
38 CONFIG=${L4V_ARCH}_verified.cmake
66 cd ${CSPEC_PATH} && L4V_ARCH=${L4V_ARCH} make c-kernel-source
100 ${PARSERPATH}/c-parser ${L4V_ARCH} --underscore_idents --mmbytes $^ > $@.tmp
|
| /seL4-l4v-10.1.1/l4v/misc/ |
| H A D | isa-common.mk | 36 ifndef L4V_ARCH
37 export L4V_ARCH=ARM macro
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tools/ |
| H A D | release.py | 187 cwd=args.repository, env=dict(os.environ, L4V_ARCH=arch))
319 cwd=target_dir, env=dict(os.environ, L4V_ARCH=arch))
366 cwd=os.path.join(doc_build_dir, "doc"), env=dict(os.environ, L4V_ARCH="ARM"))
394 cwd=target_dir, env=dict(os.environ, L4V_ARCH=arch))
|
Completed in 92 milliseconds