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