2007/10/09

萬歲!

Agda 裝成了!之前 binary-0.3 一直編不過,似乎是 gcc 有問題。剛剛我突然想到,我以前裝過比較新版的 gcc,說不定換成出廠原裝的 gcc 就可以了。果然如此!只見 binary-0.3 的 build 順利結束,接著兩個 zlib 也安裝完成,最後 Agda 與其 interpreter 也在漫長編譯後成功進駐 PB。鍵入 "agda" 跳出使用說明的那一刻真是太感人了!XD

--
可是 Agda 那些 unicode code 實在很擾人 XD。

Labels:

<< 回到主頁