hg.stevelosh.com > sand

Makefile @ 4add15d40994 

Add CoQ item thing
author Steve Losh <steve@stevelosh.com>
date Sat, 14 Jan 2017 15:00:33 +0000
parents 8f91275f1233
children ea247d3d5953 
.PHONY: vendor

vendor: vendor/quickutils.lisp

vendor/quickutils.lisp: vendor/make-quickutils.lisp
	cd vendor && ros run -L sbcl --load make-quickutils.lisp  --eval '(quit)'