diff options
Diffstat (limited to 'ports/mman/usage')
| -rw-r--r-- | ports/mman/usage | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ports/mman/usage b/ports/mman/usage new file mode 100644 index 000000000..25d00d4c0 --- /dev/null +++ b/ports/mman/usage @@ -0,0 +1,4 @@ +The mman.h header deployed by mman is placed in mman/sys/mman.h to avoid accidental inclusion.
+
+ find_path(MMAN_DIR NAMES sys/mman.h PATH_SUFFIXES mman)
+ target_include_directories(main PRIVATE ${MMAN_DIR})
|