Tell cmake where to find the SDK

cmake needs a hint to find the SDK. Let's tell it.

Also keep track of the SDK version in the resulting binary.

Signed-off-by: Marc Zyngier <maz@kernel.org>

2 files changed, 4 insertions, 0 deletions

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 19b367b..f281060 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,6 +1,8 @@
 # Set minimum required version of CMake
 cmake_minimum_required(VERSION 3.12)
 
+set (PICO_SDK_PATH "../pico-sdk")
+
 # Include build functions from Pico SDK
 include(pico-sdk/external/pico_sdk_import.cmake)
 
diff --git a/vdmtool.c b/vdmtool.c
index 57be132..29228ea 100644
--- a/vdmtool.c
+++ b/vdmtool.c
@@ -475,6 +475,8 @@ static void help(struct vdm_context *cxt)
 				     tmp->verbose ? ",debug" : "");
 		cprintf_cont(cxt, "\n");
 	}
+
+	cprintf_cont(cxt, "pico-sdk " PICO_SDK_VERSION_STRING "\n");
 }
 
 /* Break is handled as sideband data via the CDC layer */