From: Tim King <taking@cs.nyu.edu>
Date: Wed, 2 Dec 2015 04:54:15 +0000 (-0800)
Subject: Merge pull request #79 from CVC4/fix-mac-build-script
X-Git-Tag: cvc5-1.0.0~6155
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a39d025ce314d7f191f72258fad00ca19e134b5b;p=cvc5.git

Merge pull request #79 from CVC4/fix-mac-build-script

Adds required steps to contrib/mac-build.
---

a39d025ce314d7f191f72258fad00ca19e134b5b