all: libm1.so libm2.so

m1.c: model1.smv synthesis1.cmd observable1.list
	NuRV -source synthesis1.cmd

m2.c: model2.smv synthesis2.cmd observable2.list
	NuRV -source synthesis2.cmd

libm1.so: m1.c
	cc -fPIC -shared -o libm1.so m1.c

libm2.so: m2.c
	cc -fPIC -shared -o libm2.so m2.c

.PHONY: all
