Update install.sh to suggest running xattr on macOS.

prismmodelchecker · Jan 7, 2025 · 24cb3a3 · 24cb3a3
1 parent 9dfdcae
commit 24cb3a3
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/prism/install.sh b/prism/install.sh
@@ -44,3 +44,10 @@ done
 if [ ! "$1" = "silent" ] ; then
     echo "Installation complete."
 fi
+
+if [ ! "$1" = "silent" ] && [ "$(uname -s)" == "Darwin" ]; then
+    echo "\nOn macOS, you may want to run the following command now,"
+    echo "which avoids manually approving the integrity of the binary files:"
+    echo "\nxattr -d com.apple.quarantine lib/*lib"
+    echo
+fi