codegen:
	NuRV -quiet -source synthesis1.cmd
	NuRV -quiet -source synthesis2.cmd
	NuRV -quiet -source synthesis3.cmd

build:
	gcc tests.c m1.c m2.c m3.c

run: codegen build
	./a.out

.PHONY: run
