Libsnark & OS X

just posted here…