util  Diff

Differences From Artifact [a224223f8c]:

• File makerules — part of check-in [a49d93061d] at 2019-09-06 01:02:13 on branch trunk — fix bug caused by unintuitive behavior of strncmp (user: lexi, size: 605) [annotate] [blame] [check-ins using]

To Artifact [e7dd2b0bcc]:

• File makerules — part of check-in [0d4aa1c43a] at 2022-10-27 20:04:19 on branch trunk — add soda (user: lexi, size: 640) [annotate] [blame] [check-ins using]

    14     14   cc-flags = $(if $(debug),-g,-O$(cc-opt))
    15     15   cc = $(CC) $(cc-flags)
    16     16   
    17     17   post = $(if $(debug),, && strip $@)
    18     18   cc-post = $(post)
    19     19   sc-post = $(post)
    20     20   mc-post = $(post)
           21  +
           22  +prefix = $(if ${out},${out},/usr)
    21     23   
    22     24   os = $(shell uname -o)
    23     25   
    24     26   %: %.c
    25     27   	$(cc) $< -o$@ $(cc-post)
    26     28   
    27     29   %: %.ml