diamond.sh: Default path also changed for Linux, so add check there a…

…s well.
YosysHQ · Feb 8, 2023 · 0c522ce · 0c522ce
1 parent 84f6d5d
commit 0c522ce
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/diamond.sh b/diamond.sh
@@ -40,7 +40,14 @@ if $WINDOWS; then
 			;;
 	esac
 else
-	diamonddir="${DIAMONDDIR:-/usr/local/diamond/${diamondver}_x64}"
+	case $diamondver in
+		"3.12")
+			diamonddir="${DIAMONDDIR:-/usr/local/diamond/${diamondver}}"
+			;;
+		*)
+			diamonddir="${DIAMONDDIR:-/usr/local/diamond/${diamondver}_x64}"
+			;;
+	esac
 fi
 export FOUNDRY="${diamonddir}/ispfpga"