Makefile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

subdirs := lists

.PHONY: clean all $(subdirs)

all: huffman-encode.cert $(subdirs)

huffman-encode.cert: huffman-encode.lisp
	-rm -f $@
	acl2 <<< '(CERTIFY-BOOK "$(basename $@)")'
	test -f $@

$(subdirs):
	$(MAKE) -C $@

clean:
	rm -f *.{cert,fasl,port,lx64fsl}