欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
假定 MySQl 已经编译
编译 PHP
./configure --prefix=/usr/local/php442 --enable-fastcgi --enable-foce-cgi-redirect --with-mysql=/usr/local/mysql4.1.20
make make install
