Files
lattigo/Makefile
2019-11-29 16:22:18 +01:00

37 lines
739 B
Makefile

EXCLUDE_LINT = "_test.go"
test_fmt:
@echo Checking correct formatting of files
@{ \
files=$$( go fmt ./... ); \
if [ -n "$$files" ]; then \
echo "Files not properly formatted: $$files"; \
exit 1; \
fi; \
if ! go vet ./...; then \
exit 1; \
fi \
}
test_lint:
@echo Checking linting of files
@{ \
go install golang.org/x/lint/golint; \
el=$(EXCLUDE_LINT); \
lintfiles=$$( golint ./... | egrep -v "$$el" ); \
if [ -n "$$lintfiles" ]; then \
echo "Lint errors:"; \
echo "$$lintfiles"; \
exit 1; \
fi \
}
test_local:
go test -v -short -p=1 ./... -timeout=0
go run ./examples/bfv/examples_bfv.go
go run ./examples/ckks/examples_ckks.go
test: test_fmt test_local
local: test_fmt test_lint test_local