util  Diff

Differences From Artifact [a224223f8c]:

To Artifact [e7dd2b0bcc]:


14
15
16
17
18
19
20


21
22
23
24
25
26
27
cc-flags = $(if $(debug),-g,-O$(cc-opt))
cc = $(CC) $(cc-flags)

post = $(if $(debug),, && strip $@)
cc-post = $(post)
sc-post = $(post)
mc-post = $(post)



os = $(shell uname -o)

%: %.c
	$(cc) $< -o$@ $(cc-post)

%: %.ml







>
>







14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
cc-flags = $(if $(debug),-g,-O$(cc-opt))
cc = $(CC) $(cc-flags)

post = $(if $(debug),, && strip $@)
cc-post = $(post)
sc-post = $(post)
mc-post = $(post)

prefix = $(if ${out},${out},/usr)

os = $(shell uname -o)

%: %.c
	$(cc) $< -o$@ $(cc-post)

%: %.ml