Has anyone used BitCoin on local server to interact with PHP?

I'm trying to follow the official instructions but can't seem to locate the file called "bitcoind"

I'm just looking for someone to confirm or refute that this file is not part of the mac build.