denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

mxtasking: Added missing header files in ports file.

Browse Source
This commit is contained in:
Michael Mueller
2022-08-10 16:26:26 +02:00
parent 918cac3cca
commit 4710b24e99
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
repos/libports/ports/mxtasking.port
View File

@@ -3,7 +3,7 @@ DOWNLOADS := mxtasking.git
VERSION := git
URL(mxtasking) := https://github.com/mmueller41/mxtasking.git
REV(mxtasking) := e0b2605dfe9a1a3f7142ae5b52ad6582ff5bbcfc
REV(mxtasking) := c81b9168104be5fceebf35674b867bb965e95d43
DIR(mxtasking) := src/lib/mxtasking
DIRS += include/mx/memory
@@ -16,6 +16,7 @@ DIRS += include/mx/resource
DIRS += include/mx/tasking
DIRS += include/mx/tasking/profiling
DIRS += include/mx/tasking
DIRS += include
DIR_CONTENT(include/mx/memory) += src/lib/mxtasking/src/mx/memory/tagged_ptr.h
DIR_CONTENT(include/mx/memory) += src/lib/mxtasking/src/mx/memory/config.h
@@ -62,4 +63,6 @@ DIR_CONTENT(include/mx/tasking/profiling) += src/lib/mxtasking/src/mx/tasking/pr
DIR_CONTENT(include/mx/tasking/profiling) += src/lib/mxtasking/src/mx/tasking/profiling/statistic.h
DIR_CONTENT(include/mx/tasking) += src/lib/mxtasking/src/mx/tasking/channel_occupancy.h
DIR_CONTENT(include/mx/tasking) += src/lib/mxtasking/src/mx/tasking/task_buffer.h
DIR_CONTENT(include) += src/lib/mxtasking/lib/json.hpp
DIR_CONTENT(include) += src/lib/mxtasking/lib/argparse.hpp