From: Patrick Steinhardt Date: Thu, 01 Aug 2024 13:50:10 GMT Subject: Re: [RFC PATCH 1/3] t: import the clar unit testing framework Message-ID: In-Reply-To: <025f01dae419$636bb790$2a4326b0$@nexbridge.com> On Thu, Aug 01, 2024 at 09:47:38AM -0400, rsbecker@nexbridge.com 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