tlafmt 0.4.0

A formatter for TLA+ specs
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83

SHELL := /usr/bin/env bash
.SHELLFLAGS := -eu -o pipefail -c

# Set the default goal if "make" is run without arguments
.DEFAULT_GOAL := help

# Delete any targets that failed to force them to be rebuilt on the next run
.DELETE_ON_ERROR:

# Disable built-in C/Lex/Yacc rules, and warn if referencing undefined vars
MAKEFLAGS += --warn-undefined-variables
MAKEFLAGS += --no-builtin-rules

######################################################

VPATH = src
SRC = $(wildcard *.rs)
VERSION = $(shell cat Cargo.toml | sed -n 's/^version = "\(.*\)"$$/\1/p')

# Assumes a macOS host.
target/aarch64-apple-darwin/release/tlafmt: $(SRC)
	cargo build --release --target aarch64-apple-darwin

target/x86_64-unknown-linux-musl/release/tlafmt: $(SRC)
	cross build --release --target x86_64-unknown-linux-musl

target/x86_64-pc-windows-gnu/release/tlafmt.exe: $(SRC)
	cross build --release --target x86_64-pc-windows-gnu

target/wasm32-unknown-emscripten/release/tlafmt.js target/wasm32-unknown-emscripten/release/tlafmt.wasm: $(SRC)
	RUSTFLAGS="-C link-arg=-sNODERAWFS -C link-arg=-sALLOW_MEMORY_GROWTH=1" \
		cross build --target wasm32-unknown-emscripten --release

# Windows-specific rule due to the trailing .exe
release/tlafmt_v$(VERSION)_x86_64-pc-windows-gnu.exe: target/x86_64-pc-windows-gnu/release/tlafmt.exe
	@-mkdir -p $(dir $@)
	cp $^ $@

# WASM-specific rule
release/tlafmt_v$(VERSION)_wasm32_emscripten.zip: \
	target/wasm32-unknown-emscripten/release/tlafmt.js \
	target/wasm32-unknown-emscripten/release/tlafmt.wasm

	@-mkdir -p $(dir $@)
	zip -j "$@" $^

release/tlafmt_v$(VERSION)_%: target/%/release/tlafmt
	@-mkdir -p $(dir $@)
	cp $^ $@

%.sha256sum: %
	sha256sum "$^" > $@

%.tar.gz: %
	tar cv "$^" | gzip --best > "$@"
	-rm $^

%.zip: %
	zip "$@" $^
	-rm $^

#? release: generate release binaries for Linux and macOS
.PHONY: release
release: release/tlafmt_v$(VERSION)_x86_64-unknown-linux-musl.tar.gz \
	release/tlafmt_v$(VERSION)_x86_64-unknown-linux-musl.tar.gz.sha256sum \
	release/tlafmt_v$(VERSION)_x86_64-pc-windows-gnu.exe.tar.gz \
	release/tlafmt_v$(VERSION)_x86_64-pc-windows-gnu.exe.tar.gz.sha256sum \
	release/tlafmt_v$(VERSION)_aarch64-apple-darwin.zip \
	release/tlafmt_v$(VERSION)_aarch64-apple-darwin.zip.sha256sum \
	release/tlafmt_v$(VERSION)_wasm32_emscripten.zip \
	release/tlafmt_v$(VERSION)_wasm32_emscripten.zip.sha256sum

#? clean: remove any generated files
.PHONY: clean
clean:
	-rm -rf release
	cargo clean

#? help: prints this help message
.PHONY: help
help:
	@echo "Usage:"
	@sed -n 's/^#?//p' ${MAKEFILE_LIST} | column -t -s ':' |  sed -e 's/^/ /'