Hi all – for what it’s worth – it was a stupid error on my part. I post my findings here in case it helps someone else.
At some point during the “move” of my development environment from machine A to machine B, I was getting a compile time error at the link stage about missing lprofile (or something like that)… a bit of Googling suggested profiling wasn’t supported so I removed “profile” from the target_link_libraries() section.
Lo an behold it all compiled and ran as expected. A little while later I discovered that semihosting wasn’t working but had forgotten that I had removed Profile from the target_link_libraries section. Adding this back in no longer complained about the missing library but did allow semihosting to work.
I *think* at some point in time between removing “profile” and putting it back I must have downloaded the “missing” library – probably as part of downloading the embedded framework.
Thanks for looking, and happy coding.
Paul.