synthesize:
	NuRV -quiet -source synthesis1.cmd
	# NuRV -quiet -source synthesis2.cmd
	# NuRV -quiet -source synthesis3.cmd

build:
	gcc -g -L../../build-library -lNuRV m1.c m1b.c m1s.c test.c

run:
	DYLD_LIBRARY_PATH=../../build-library ./a.out

.PHONY: run
