github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2025-09-26 15:25:17 +00:00
Code Issues Projects Releases Wiki Activity

Remove symlink to seL4 kernel for sel4-sys build

Browse Source 
- delete the symlink called "seL4"
- remove the manually specified SEL4_DIR environment variable from
Cargo.toml and move to .cargo/config.toml

bug: 202428321

Change-Id: I4f54b730e627a8445560e0e5e7bc056ab7e19062
GitOrigin-RevId: 17743c7034a37ac2dc0d036f405096213888f584
This commit is contained in:
Julian Mullings-Black
2021-10-20 18:51:35 +00:00
committed by Sam Leffler
parent b620ca4c74
commit 3bda869f20
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
apps/system/components/.cargo/config.toml Normal file
View File

@@ -0,0 +1,4 @@
[env]
# Pathname to seL4 kernel for xml files and (eventually) tools scripts,
# defaults to "sel4" if not set
SEL4_DIR = { value = "../../../../../kernel", relative = true }

3
apps/system/components/kata-os-common/src/sel4-sys/Cargo.toml
View File

@@ -17,9 +17,6 @@ build = "build.rs"
# NB: used by build.rs # NB: used by build.rs
[env] [env]
# Pathname to seL4 kernel for xml files and (eventually) tools scripts,
# defaults to "sel4"
SEL4_DIR = "sel4"
# Name of python3 interpreter executable, defaults to "python3" # Name of python3 interpreter executable, defaults to "python3"
PYTHON = "python3" PYTHON = "python3"

1
apps/system/components/kata-os-common/src/sel4-sys/seL4
View File

@@ -1 +0,0 @@
../../../../../../../../kernel