From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 9 Nov 2018 12:02:49 +0000 (+0100)
Subject: Merge pull request #696 from arjenroodselaar/verific_darwin
X-Git-Tag: yosys-0.9~412
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=43ee1f3f62a96d9b5a1a909d18c418af39ca520a;p=yosys.git

Merge pull request #696 from arjenroodselaar/verific_darwin

Use appropriate static libraries when building with Verific on MacOS
---

43ee1f3f62a96d9b5a1a909d18c418af39ca520a