Feb 22

作問

821問．生活ジャンルに入って作問の勢いが増した感じがする．生活とスポーツが残っている．

Homebrew

で，

Cowardly refusing to `sudo brew link`

などと出た時は，

% chmod -R root /usr/local

とかしておく．

PCOQ

Macではwineを入れることで可能．ただしEasyWineでは動かないことに注意せよ．
wineをbrewなどでインストールしておいて，

% wine /path/to/pcoq-server.exe &
% wine /path/to/pcoq-client.exe &

として直接起動する．

あと，ポート開放を忘れないこと．ポート番号は52294．