Spring clean the makefile.

This commit is contained in:
Ian A.Mason 2020-07-13 11:40:59 -07:00
parent 02ea4c5218
commit 13eaad39ad

View File

@ -1,3 +1,20 @@
all: help
help:
@echo ''
@echo 'Here are the targets:'
@echo ''
@echo 'To test : "make check"'
@echo 'To develop : "make develop"'
@echo 'To install : "make install"'
@echo 'To format : "make format"'
@echo 'To lint : "make lint"'
@echo 'To clean : "make clean"'
@echo ''
develop:
go install github.com/SRI-CSL/gllvm/cmd/...
@ -8,6 +25,8 @@ check: develop
format:
gofmt -s -w shared/*.go tests/*.go cmd/*/*.go
lint:
golint ./shared/ ./tests/ ./cmd/...
clean:
rm -f data/hello data/hello.bc [td]*/.helloworld.c.o [td]*/.helloworld.c.o.bc