Makefile for the absent minded.

This commit is contained in:
Ian A. Mason 2019-10-25 17:30:58 +00:00
parent 037a8b22d0
commit 6fe574a965

13
Makefile Normal file
View File

@ -0,0 +1,13 @@
develop:
go install github.com/SRI-CSL/gllvm/cmd/...
check: develop
go test -v ./tests
format:
gofmt -s -w shared/*.go tests/*.go cmd/*/*.go
clean:
rm -f data/hello tests/.helloworld.c.o tests/.helloworld.c.o.bc