[Agda] 2.1.3 -Install

全程參照這一頁:
http://www.cs.chalmers.se/~ulfn/darcs/Agda2/README

使用的環境:
ubuntu-7.10
GHC-6.8.1

依序安裝下面的GHC package
binary-0.4.1
zlib-0.4.0.1 (部份linux要先安裝zlib1g-dev)
QuickCheck2.0
可以用"$ ghc-pkg -l"查詢現在已經有的pkg
可以去下列網站找所需要的
http://hackage.haskell.org/packages/archive/pkg-list.html

然後下載Agda..
一開始我是抓wiki上面的.tar.gz檔
但是build的時候一直說找不到"../../undefined.h"
後來是用darcs抓下來裝
(btw, darcs抓到的是2.1.3, 但是wiki上面只有2.1.2 .. =口=)
agda lib裝好以後
就把interpreter裝上去就結束了
詳情請參考readme檔

--
如果是GHC-6.1.1以前的版本
下面的lib都要用較早的版本
不然cabal不會過
binary-0.3
zlib-0.3 (部份linux要先安裝zlib1g-dev)
另外要幫GHC裝新版的src和mtl這兩個package
(QuickCheck的話我忘記有沒有要裝,舊版的agda好像不需要)
之後再裝agda即可

[GHC] 6.8.1 -Install

最近把NB上的OS改成Ubuntu7.10
所以就要重灌所有的東西
ghc當然也不利外
到網站上晃了一下以後發現
ghc-6.8.1已經release了!!
http://www.haskell.org/ghc/download_ghc_681.html

抓了linux(x86)的版本之後
$ tar -zxf ghc-6.8.1-i368-unknown-linux.tar.bz2
$ cd ghc-6.8.1-i368-unknown-linux
$ ./configure
$ sudo make install
等他跑玩就好了

原先是這樣希望啦
但是實際上灌好以後執行時噴了個error出來
大意是說ghc時找不到libreadline.so.4
原本以為是我的readline太老舊 (其實應該是不太可能才對= =a)
所以重灌了一次realine5.0
結果還是一樣找不到

最後才在下載ghc的那個網頁上看到有"readline4 compatibility RPM"
抓下來以後解壓縮才看到裡面是/lib/libreadline.so.4(等檔案)
不過也沒說要copy到哪裡去
所以就到處丟看看
最後是存在/usr/lib/底下才解決的.
$ sudo cp -R ~/lib /usr

接下來就是agda和epigram了 XD

[MASM] 雜記

由此處下載MASM32
http://www.masm32.com/

安裝到一個令人愉悅之處
然後看要不要把path設一下
(我的是D:\masm32\bin)
為了避免麻煩,下面都是用windows的cmd

現在會用到的工具就只有以下兩個:

[assembler]
masm32/bin/ml.exe
格式:
ml [/options] filelist [/link linkoptions]
常用的參數:
-c : 只assemble而不link
-coff : 產生COFF format object file
-I : 增加include的路徑
-link : 直接使用linker
範例:
ml -c -coff xd.asm
ml -c -coff -I D:\dir xd.asm
ml -coff -I D:\dir xd.asm -link Kernel32.lib /SUBSYSTEM:CONSLOE

[linker]
masm32/bin/link.exe
格式:
link [options] [files] [@commandfile]
常用參數:
/SUBSYSTEM:CONSOLE : 不太知道是啥,大概就是要指定mode吧
/DEBUG : 會多生出一個.ilk檔
範例:
link xd.obj d:\xd\Kernel32.lib /SUBSYSTEM:CONSLOE

--
OMF和COFF
改天有空再看
http://en.wikipedia.org/wiki/VME#OMF
http://en.wikipedia.org/wiki/COFF

題外話
學校課本裡面的.lib和.inc
都可以在課本網站上抓到
然後自己再去設路徑或是手動link

最後
console下的assemble是沒問題了
現在就是要怎麼改easy code的設定了..Orz

[EasyCode]試用

這學期在修assembly

因為覺得一直用console compiler有點時代正確性不足的感覺
所以去找了個IDE
不過也只是根據wiki亂找到的

灌好了
摸了5分鐘左右
感覺蠻不錯用的

不過改天再研究吧

(待續XD)

[Qt]試用

因為各種神奇的因素
想說灌個Qt來試試看
一方面是可以應付OpenGL的課
另一方面是可以寫透析管理程式

在windows上的安裝其實蠻簡單的
就是下載無腦安裝包
click,next,next,...,next,finish :)

然後把目錄下的\bin存進PATH裡面
i.e. "D:\Qt\4.3.2\bin"

然後開console進入存有xxx.cpp的目錄下
執行:
qmake -project
qmake
make

然後.exe檔就會產生在../release下

--

待解決問題:
cygwin下無法正確make
makefile的修改

連帶學到的東西:
$ which [ins]
顯示ins是的來源路徑
$ pwd
印出現在所在位置