phalconをインストールしたのに「phalcon.so」がない！？

Question

phalconをインストールしようとして、色々やりすぎてよくわからなくなってきました。
最初にbrewを使って、phalconをインストールしました。

インストールできているのかどうかよくわからなかったので、
この動画を見ながら、githubからクローンしてインストールしました。
https://www.youtube.com/watch?v=67YXBm0XtS8&t=29s

githubからクローンした方が簡単そうだったので、xamppのphp.iniにextensionしようとしたのですが、
なんとフォルダの中に「phalcon.so」がありません。

なぜでしょうか？

教えていただければ助かります。。

[追記]
Finderで確認したところ、
「ユーザー名/opt/local/lib/php70/extensions/no-debug-non-zts-20151012」
にあるそうです。
ただ、これをどうしたら良いのかわかりません・・・。