secc
/
seL4-camkes-manifest
mirror of https://github.com/seL4/camkes-manifest.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update project structure for new CMake layout 

Change-Id: I6345b5d23eefca733cd4c0ccc11fec18e32100f7
This commit is contained in:
Kent McLeod 2018-07-24 14:43:23 +10:00
parent 9064723f0b
commit e3e33fd219
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
master.xml
View File

@ -31,20 +31,21 @@
<linkfile src="libsel4" dest="libs/libsel4"/>
</project>
<project name="seL4_tools.git" path="projects/seL4_tools">
<project name="seL4_tools.git" path="tools/seL4">
<linkfile src="common-tool" dest="tools/common"/>
<linkfile src="elfloader-tool" dest="tools/elfloader"/>
<linkfile src="kbuild-tool" dest="tools/kbuild"/>
<linkfile src="cmake-tool/init-build.sh" dest="init-build.sh"/>
<linkfile src="cmake-tool/default-CMakeLists.txt" dest="CMakeLists.txt"/>
</project>
<project name="camkes-tool.git" path="tools/camkes">
<project name="camkes-tool.git" path="projects/camkes-tool">
<linkfile src="toplevel.mk" dest="Makefile"/>
<linkfile src="Kbuild" dest="Kbuild"/>
<linkfile src="libsel4camkes" dest="libs/libsel4camkes"/>
<linkfile src="libsel4muslccamkes" dest="libs/libsel4muslccamkes"/>
<linkfile src="docs/index.md" dest="README.md"/>
<linkfile src="camkes-top-level.cmake" dest="CMakeLists.txt"/>
<linkfile src="." dest="tools/camkes"/>
</project>
<project name="capdl.git" path="projects/capdl">