minor update

ci/install_dependencies.sh

@@ -33,9 +33,6 @@ apt-get update -y
 # install system dependencies
 apt-get install -y build-essential valgrind libstdc++6 binutils python3 uuid-dev ccache cmake libffi7
 
-# install yosys synthesis tool
-apt-get install -y yosys
-
 # Check and install GCC 11 if necessary
 if check_gcc_version; then
     echo "GCC version is less than 11. Installing GCC 11..."

ci/toolchain_install.sh.in

@@ -187,6 +187,7 @@ while [ "$1" != "" ]; do
                 riscv32
                 riscv64
                 sv2v
+                yosys
                 ;;
         -h | --help ) show_usage
                 exit