libs.go = \
	src/stm.go \
	tests/functional/santa-claus/stm.go \
	tests/stm.go \

mains.go = \
	tests/functional/santa-claus/main.go \
	tests/main.go \

functional-tests/lib.go = \
	tests/functional/santa-claus/stm.go \

functional-tests/main.go = \
	tests/functional/santa-claus/main.go \

fuzz-targets/lib.go = \

fuzz-targets/main.go = \

benchmarks/lib.go = \

benchmarks/main.go = \

src/stm.a:	src/stm.go
tests/functional/santa-claus/main.a:	tests/functional/santa-claus/main.go
tests/functional/santa-claus/stm.a:	tests/functional/santa-claus/stm.go
tests/main.a:	tests/main.go
tests/stm.a:	tests/stm.go
tests/functional/santa-claus/main.bin:	tests/functional/santa-claus/main.a
tests/main.bin:	tests/main.a
tests/functional/santa-claus/main.bin-check:	tests/functional/santa-claus/main.bin
tests/main.bin-check:	tests/main.bin
tests/functional/santa-claus/main.a:	tests/functional/santa-claus/$(NAME).a
tests/main.a:	tests/$(NAME).a