もう7年ほど同じサーバで稼働しているので，そろそろ新しいサーバに乗せ変える必要があるかな．でもカナリの作業になる．OSから新しくしなければいけないし，パッケージマネージャもMacPortsからHomeBrewになる．それでも以前よりはコンパイルにかける時間が圧倒的に少ないと思います．