Reporting version from release.txt

Makefile

@@ -162,12 +162,20 @@ help:
 	@echo "    Exports a program for a single target into a standalone"
 	@echo "    project directory at STANDALONE_DEST."
 	@echo ""
+	@echo " version"
+	@echo "    Report the release version for Freedom-E-SDK, Metal library"
+	@echo "    and its tools if it has one."
+	@echo ""
 	@echo " open-docs"
 	@echo "    Opens the Freedom E SDK documentation in your HTML"
 	@echo "    viewer of choice. The documentation can also be found"
 	@echo "    online at"
 	@echo "      https://sifive.github.io/freedom-e-sdk-docs/index.html"
 
+.PHONY: version
+version: scripts/report-version
+	$^
+
 .PHONY: open-docs
 open-docs: scripts/open-docs
 	$^

scripts/report-version

@@ -0,0 +1,12 @@
+#!/bin/bash
+
+set -euo pipefail
+
+if [ ! -f release.txt ] ; then
+    >&2 echo "This is a non IPDelivery Freedom-E-SDK environment"
+else
+    >&2 echo "IPDelivery Freedom-E-SDK environment"
+    >&2 grep "Date:" release.txt
+    >&2 grep "Release:" release.txt
+fi
+