diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-15 23:30:04 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-15 23:30:04 +0900 |
| commit | 11baab578f78913dd282c4a0a9f882aed9070787 (patch) | |
| tree | 4d9216c155105439aa55628867c35a408917775b /Makefile | |
| parent | 6885c9e70e77571fa0c703c8a5a519a663c8c069 (diff) | |
perm: Update Makefile.
* Makefile(all): Add perm.cert
* Makefile(perm.cert): New rule.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -1,12 +1,17 @@ .PHONY: clean all -all: huffman-encode.cert +all: huffman-encode.cert perm.cert huffman-encode.cert: huffman-encode.lisp -rm -f $@ acl2 <<< '(CERTIFY-BOOK "$(basename $@)")' test -f $@ +perm.cert: perm.lisp + -rm -f $@ + acl2 <<< '(CERTIFY-BOOK "$(basename $@)")' + test -f $@ + clean: rm -f *.{cert,fasl,port,lx64fsl} |