- 2013-12-03 (Tue) 23:45
- 一般
12月に入って暖房が使えるようになったのだけど，深夜と早朝は暖房が切れるのでやっぱ寒い．なんかこう，部屋にある計算機を全力でぶん回したくなる気分．何か意味のある計算で時間を食うものってあったかな？
つーか家に帰ってコタツで作業するか．みかんがないけれど．
閑話休題．
coqc を動かそうとすると「ライブラリが見つからないから -coqlib で指定しろボケ」と文句を言われる．別のマシンでコンパイルした時にはこんなこと言われなかったので原因がよく分からず今日一日色々と面倒だった．
あー，ちゃんと make install したら問題なくなった気がする．make しただけの状態でパスを通しておいてもダメなのか．バージョン違いを置いとくのにちょっと面倒だな．
- Newer: ことはじめ