Fix minimal build.

Author: paoloczi

.github/workflows/Build.yml

@@ -51,7 +51,7 @@ jobs:
         cd shasta-build 
         # cmake .. -DBUILD_DYNAMIC_EXECUTABLE=OFF -DBUILD_DYNAMIC_LIBRARY=OFF -DBUILD_WITH_HTTP_SERVER=OFF \
         #   -DBUILD_ID="Shasta unreleased test build newer than release 0.8.0 at commit "$GITHUB_SHA
-        cmake .. -DBUILD_ID="Shasta Release 0.8.0" 
+        cmake .. -DBUILD_DYNAMIC_EXECUTABLE=OFF -DBUILD_DYNAMIC_LIBRARY=OFF -DBUILD_WITH_HTTP_SERVER=OFF -DBUILD_ID="Shasta Release 0.8.0" 
         make -j 2 all
         make install/strip
         mv shasta-install shasta-Ubuntu-20.04