From 6fe574a965e6103b77dc1d0796f648c4552441e8 Mon Sep 17 00:00:00 2001
From: "Ian A. Mason" <iam@csl.sri.com>
Date: Fri, 25 Oct 2019 17:30:58 +0000
Subject: [PATCH] Makefile for the absent minded.

---
 Makefile | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..368a55a
--- /dev/null
+++ b/Makefile
@@ -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