From 13eaad39ad37f0ceb277425d2b5abb193e31ad5e Mon Sep 17 00:00:00 2001 From: "Ian A.Mason" Date: Mon, 13 Jul 2020 11:40:59 -0700 Subject: [PATCH] Spring clean the makefile. --- Makefile | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/Makefile b/Makefile index ec11a19..f90cc90 100644 --- a/Makefile +++ b/Makefile @@ -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