軽率にZen4のサーバーを買ったらCentOS7に非対応だった。Rocky Linux 8.6をインストールしてみたが、私の所属研究室でメインのアプリケーションであるVirtuosoを動かすのに苦労したので誰かの役に立つことを願ってメモしておく。ここで示すセットアップでIC6…