phpenvを使ってPHP7.4.xをインストールする*1。 このとき、krb5、krb5-gssapi、onigurumaのインストールを求められることがある。 その際は、sudo apt install libkrb5-dev libonig-dev するといいだろう。 *1: WSLはUbuntu 18.04.4 LTS (Bionic Beaver)