From a3944609eec99744932e96cd07a30e7abf9c2124 Mon Sep 17 00:00:00 2001 From: Laurence Tratt Date: Fri, 22 Sep 2023 20:26:03 +0100 Subject: [PATCH] Clarify that GNU make is needed. --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 90b8e33..eb1109a 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ Examples of CHERI fundamental operations, interesting corner cases, and simple demonstrative applications. -A makefile is provided for each supported platform, and a basic build command +A `Makefile` is provided for each supported platform, and a basic build command looks like this: ``` @@ -26,6 +26,8 @@ files for details. to the SDK can be given in `SDKBASE`. - For `run-` targets, a machine or model that can run the result, reachable by SSH. +- GNU make. Depending on your platform you might need to specify `gmake` rather + than `make`. [cheribuild]: https://github.com/CTSRD-CHERI/cheribuild