Makefile


1
2
3
4
5
6
7
8
9
10
11
12

.PHONY: clean all

all: huffman-encode.cert

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

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