blob: 559c088cd580c5c2184854707edc4e9165c3439b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
N = 1000000
dot30 = ..............................
dot31 = $(dot30).
safe_redirect_prologue = rm -f $@ $@-tmp
safe_redirect = $@-tmp && mv $@-tmp $@
time = /p/bin/time --verbose
all: t30 t31
t3%: in-3%
@$(safe_redirect_prologue)
$(time) sort $< > $(safe_redirect)
rand-digits: rand-gen
@$(safe_redirect_prologue)
./$< --integer $(N) |tr -d '\012' > $(safe_redirect)
in-30: rand-digits
@$(safe_redirect_prologue)
perl -pe 's/($(dot30))/$$1\n/g' $< > $(safe_redirect)
in-31: rand-digits
@$(safe_redirect_prologue)
perl -pe 's/($(dot31))/$$1\n/g' $< > $(safe_redirect)
clean:
rm -f t30 t31 in-30 in-31
realclean: clean
rm -f rand-digits
|
