Use appropriate static libraries when building with Verific on MacOS
authorArjen Roodselaar <arjen@fb.com>
Thu, 8 Nov 2018 07:18:47 +0000 (23:18 -0800)
committerArjen Roodselaar <arjen@fb.com>
Thu, 8 Nov 2018 07:18:47 +0000 (23:18 -0800)
commit4e846694f76d48f77b44a109d8ed478c8071ebd6
tree72a6af7346eaaecfbb3fcd0c9ae541e9a632036a
parent825b4c1aa9ae5abe7484f056cc14d973bcaae378
Use appropriate static libraries when building with Verific on MacOS
Makefile