2020-07-13 20:40:59 +02:00
|
|
|
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 ''
|
|
|
|
|
|
|
|
|
|
|
2020-10-30 16:43:40 +01:00
|
|
|
install: develop
|
2020-07-13 20:40:59 +02:00
|
|
|
|
2019-10-25 19:30:58 +02:00
|
|
|
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
|
|
|
|
|
|
2020-07-13 20:40:59 +02:00
|
|
|
lint:
|
|
|
|
|
golint ./shared/ ./tests/ ./cmd/...
|
2019-10-25 19:30:58 +02:00
|
|
|
|
|
|
|
|
clean:
|
2020-11-02 03:55:14 +01:00
|
|
|
rm -f data/*hello data/*.bc [td]*/.*.c.o [td]*/*.o [td]*/.*.c.o.bc data/*.notanextensionthatwerecognize
|
