Alice Carlotti writes:
> On Wed, Apr 30, 2025 at 01:29:25PM +0100, Richard Sandiford wrote:
>> Alice Carlotti writes:
>> > On Tue, Apr 29, 2025 at 02:47:21PM +0100, Alice Carlotti wrote:
>> >> This demonstrates a clear benefit to make the makefile rules automatic. I
>> >> thought this might be qu
On Wed, Apr 30, 2025 at 01:29:25PM +0100, Richard Sandiford wrote:
> Alice Carlotti writes:
> > On Tue, Apr 29, 2025 at 02:47:21PM +0100, Alice Carlotti wrote:
> >> This demonstrates a clear benefit to make the makefile rules automatic. I
> >> thought this might be quite tricky, but it turns out t
Alice Carlotti writes:
> On Tue, Apr 29, 2025 at 02:47:21PM +0100, Alice Carlotti wrote:
>> This demonstrates a clear benefit to make the makefile rules automatic. I
>> thought this might be quite tricky, but it turns out to be fairly
>> straightforward.
>
> Actually, it turns out I missed at leas
On Tue, Apr 29, 2025 at 02:47:21PM +0100, Alice Carlotti wrote:
> This demonstrates a clear benefit to make the makefile rules automatic. I
> thought this might be quite tricky, but it turns out to be fairly
> straightforward.
Actually, it turns out I missed at least one more thing that's needed,
