MacOS – How to download a binary from brew without installing brew

Take the path that you used for --prefix= during your ./configure and sym-link that into the Cellar/ directory that Homebrew is using. Homebrew will see these directories and see the dependencies as satisfied (unless you need to have them compiled with or without certain features to make Homebrew's formulas compile correctly). If your manually-compiled deps aren't compiled correctly, you'll probably get errors out of Homebrew.

ln -s /path/from/prefix/ /usr/local/Cellar/path/from/prefix

(Note the trailing slash on the first path, and lack of trailing slash on the second. OS X can be picky about these slashes when creating sym-links.)

This is the wrong way to do it, you should just be using --ignore-dependencies coq — that's what it's there for.

1. Search for an old version of the binary ImageMagick release named "ImageMagick-x86_64-apple-darwin10" that runs on 10.6.8, for example:
   • http://tools.robodoc.net/tools/imagemagick/ImageMagick-x86_64-apple-darwin10.6.0.tar.gz
2. Download and extract the files.
3. Move the ImageMagick-6.6.7 folder to your home folder.
4. Start terminal and execute this command: $ export MAGICK_HOME="$HOME/ImageMagick-6.6.7";export PATH="$MAGICK_HOME/bin:$PATH";export DYLD_LIBRARY_PATH="$MAGICK_HOME/lib/"
5. Ready