New buildsystem now works on mac for both vfide and verifast. Joint work with Gijs and Willem.
New buildsystem now works on mac for both vfide and verifast. Joint work with Gijs and Willem.

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast