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
|