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