# --------------------------------------------------------
# makefile for all specifications (default: selected ones)
# --------------------------------------------------------

exec clean tidy::
	$(MAKE) $(MFLAGS) -e -f SPEC.make $@ SPEC=empty
	$(MAKE) $(MFLAGS) -e -f SPEC.make $@ SPEC=rev
	$(MAKE) $(MFLAGS) -e -f SPEC.make $@ SPEC=ack
	$(MAKE) $(MFLAGS) -e -f SPEC.make $@ SPEC=alpha15
	$(MAKE) $(MFLAGS) -e -f SPEC.make $@ SPEC=alpha30
	$(MAKE) $(MFLAGS) -e -f SPEC.make $@ SPEC=alpha60
	$(MAKE) $(MFLAGS) -e -f SPEC.make $@ SPEC=alpha90
	$(MAKE) $(MFLAGS) -e -f SPEC.make $@ SPEC=equalset
	$(MAKE) $(MFLAGS) -e -f SPEC.make $@ SPEC=quicksort
	$(MAKE) $(MFLAGS) -e -f SPEC.make $@ SPEC=mergesort
	$(MAKE) $(MFLAGS) -e -f SPEC.make $@ SPEC=queens7
	$(MAKE) $(MFLAGS) -e -f SPEC.make $@ SPEC=queens8

clean tidy::
	rm -f *~ core
