distrib :
	cd mbkvhdl ; make MACHINE=$(MACHINE) ALLIANCE_INCLUDE=$(ALLIANCE_INCLUDE) distrib 
