TESTDIR = ..
PROGS = spec-constr
include $(TESTDIR)/mk/test.mk

spec-constr.o: Pipelines.hi

spec-constr: Pipelines.o $(BENCHLIB)