Merge pull request #696 from arjenroodselaar/verific_darwin
authorClifford Wolf <clifford@clifford.at>
Fri, 9 Nov 2018 12:02:49 +0000 (13:02 +0100)
committerGitHub <noreply@github.com>
Fri, 9 Nov 2018 12:02:49 +0000 (13:02 +0100)
Use appropriate static libraries when building with Verific on MacOS

1  2 
Makefile

diff --cc Makefile
Simple merge