chotki/Makefile at main · drpcorg/chotki · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
.PHONY: test
test:
	go test ./...

build:
	go build ./...

fmt:
	go fmt ./...

ragel:
	cd rdx && go generate && go fmt && go test

.PHONY: lint
lint:
	golangci-lint run ./...

# Model-check the replication protocol spec (needs tla2tools.jar, see tla/README.md)
TLA2TOOLS ?= tla2tools.jar
.PHONY: tla
tla:
	cd tla && for cfg in MCFixed MCFixedChurn MCFixedLast MCWitness MCPing MCBatchFixed MCBatchFixedLast; do \
		echo "=== $$cfg ==="; \
		java -XX:+UseParallelGC -cp $(TLA2TOOLS) tlc2.TLC -config $$cfg.cfg -workers auto -deadlock MCChotkiSync || true; \
	done

.PHONY: update-pebble
update-pebble:
	go mod edit -replace github.com/cockroachdb/pebble=github.com/drpcorg/pebble@master
	go mod tidy

.PHONY: lint
all: ragel fmt build test lint