
links:
	(cd sequent; make -f Makefile.notparallel links)
	(cd sequent/test; make links)
	(cd sun; make -f links)
	(cd sun/test; make links)
	(cd vax; make links)
	(cd vax/test; make links)

clean:
	(cd sequent; make -f Makefile.notparallel clean)
	(cd sequent/test; make clean)
	(cd sun; make clean)
	(cd sun/test; make clean)
	(cd vax; make clean)
	(cd vax/test; make clean)

cleanlinks:
	(cd sequent; make -f Makefile.notparallel cleanlinks)
	(cd sequent/test; make cleanlinks)
	(cd sun; make cleanlinks)
	(cd sun/test; make cleanlinks)
	(cd vax; make cleanlinks)
	(cd vax/test; make cleanlinks)

sequent::
	(cd sequent; make links; make)
	(cd sequent/test; make links; make)

sun::
	(cd sun; make links; make)
	(cd sun/test; make links; make)

vax::
	(cd vax; make links; make)
	(cd vax/test; make links; make)

