blob: d0e4b6f22cf97d21969980278f21bdb22c8c34b2 (
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
34
35
36
37
38
39
40
41
42
43
44
|
what:
@echo "What do you want to make?"
benchmark:
$(MAKE) benchmark-icont
benchmark-iconc:
$(MAKE) compile-iconc run-iconc check-iconc
compile-iconc:
sh Comp-iconc concord deal ipxref queens rsg
run-iconc:
sh Run-iconc
rerun-iconc:
sh ReRun-iconc
check-iconc:
grep elapsed *-c.out
benchmark-icont:
$(MAKE) translate-icont compile-icont run-icont check-icont
translate-icont:
sh Trans-icont post options shuffle
compile-icont:
sh Comp-icont concord deal ipxref queens rsg
run-icont:
sh Run-icont
rerun-icont:
sh ReRun-icont
check-icont:
grep elapsed *-t.out
Clean:
rm -f *.out concord-[ct] deal-[ct] ipxref-[ct] queens-[ct] \
rsg-[ct] *.u?
|