Makefile @ 8e281422161d

Port old rule tree implementation to ZDDs & implement basic rule tree reasoning
author Steve Losh <steve@stevelosh.com>
date Tue, 01 Nov 2016 15:20:35 +0000
parents 0306f46e89fb
children (none)
.PHONY: vendor

# Vendor ----------------------------------------------------------------------
vendor/quickutils.lisp: vendor/make-quickutils.lisp
	cd vendor && sbcl --noinform --load make-quickutils.lisp  --eval '(quit)'

vendor: vendor/quickutils.lisp