On Thu, Aug 01, 2024 at 09:47:38AM -0400, rsbecker@xxxxxxxxxxxxx wrote: > On Thursday, August 1, 2024 9:37 AM, Patrick Steinhardt wrote: > >As mentioned in another mail, we do not use its Makefile at all. Did you > check > >whether the version I have proposed here works when running `make test`? > > That is the commit I have been trying to use. make test in clar or git? In Git itself. `make test` builds and runs our unit tests, and that now also includes unit tests based on clar with this patch series. The clar Makefile exists only because I did a 1:1 import of the upstream dependency. We could just as well remove it altogether, including other bits that we don't end up using. Patrick
Attachment:
signature.asc
Description: PGP signature