Finish basic proving
I gave up on making the renameless unification work because I'm just too dumb to
understand it. Gonna throw this all away when I hit the WAM book anyhow, so
it's not worth wasting time on. Maybe I'll come back to it later if I have
time.
| author |
Steve Losh <steve@stevelosh.com> |
| date |
Thu, 10 Mar 2016 18:22:56 +0000 |
| parents |
d08be7892816 |
| children |
2daf5fb2fe92 |
.PHONY: test pubdocs
docfiles = $(shell ls docs/*.markdown)
test:
sbcl --noinform --load test/run.lisp --eval '(quit)'
src/utils.lisp: src/make-utilities.lisp
cd src && sbcl --noinform --load make-utilities.lisp --eval '(quit)'
docs: docs/build/index.html
docs/build/index.html: $(docfiles)
cd docs && ~/.virtualenvs/d/bin/d
pubdocs: docs
hg -R ~/src/sjl.bitbucket.org pull -u
rsync --delete -a ./docs/build/ ~/src/sjl.bitbucket.org/bones
hg -R ~/src/sjl.bitbucket.org commit -Am 'bones: Update site.'
hg -R ~/src/sjl.bitbucket.org push