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
45
46
47
|
include ../Makefile-generic
BOOKS = algebra simple gray-code sort merge-sort batcher-sort bitonic-sort \
prefix-sum cla-adder
# Put dependencies (from `make -s dependencies', or other sources) below.
algebra.cert: algebra.lisp
algebra.cert: ../data-structures/structures.cert
algebra.cert: ../ordinals/e0-ordinal.cert
simple.cert: simple.lisp
simple.cert: algebra.cert
simple.cert: ../arithmetic/top.cert
gray-code.cert: gray-code.lisp
gray-code.cert: algebra.cert
gray-code.cert: simple.cert
sort.cert: sort.lisp
sort.cert: algebra.cert
merge-sort.cert: merge-sort.lisp
merge-sort.cert: algebra.cert
merge-sort.cert: sort.cert
merge-sort.cert: ../ordinals/e0-ordinal.cert
batcher-sort.cert: batcher-sort.lisp
batcher-sort.cert: merge-sort.cert
batcher-sort.cert: ../arithmetic/top.cert
bitonic-sort.cert: bitonic-sort.lisp
bitonic-sort.cert: algebra.cert
bitonic-sort.cert: simple.cert
bitonic-sort.cert: sort.cert
bitonic-sort.cert: batcher-sort.cert
bitonic-sort.cert: ../arithmetic/top.cert
prefix-sum.cert: prefix-sum.lisp
prefix-sum.cert: algebra.cert
prefix-sum.cert: simple.cert
prefix-sum.cert: ../arithmetic/top.cert
cla-adder.cert: cla-adder.lisp
cla-adder.cert: prefix-sum.cert
cla-adder.cert: algebra.cert
cla-adder.cert: ../arithmetic/top.cert
|
