#就職したばかりの頃、丁度ワークステーションが32bitから64bitへの移行期で、社内では32bit環境、完全64bit環境、カーネルは64bitだがユーザプログラムのほとんどは32bit、という3つの環境が混在し、社内ライブラリのビルドシステムを作るのが面倒だった。で、データセンタに借りてるVPS、ずっと前から使ってるやつは32bitで(数年前はRAMの価格が結構steepで、あえて32bitにしてせこせこ節約してた)、新しく作るVPSは64bitで、さらに昔からのやつをいよいよ64bitに移行しないとってことになってでも全部入れ直すの面倒だからカーネルだけ64bitでユーザランドは32bit主体、なんて環境が入ってきてまた同じような面倒くささがががが。
#手元にたまってる作業ブランチを整理してたら、上でkoguroさんに指摘されたgpdのやつ、4ヶ月前にちゃんと直してるブランチがあった。何でマージしなかったんだっけかな。問題はそのブランチではさらに他のconfigureのバグも直してあって、ということはつまり0.9.4のgauche.configureにはまだそのバグがあるってことだ。ぐぬぬ。